Abstract Interpretation

From: Tim Frink <plfriko@xxxxxxxx>
Date: Wed, 19 Sep 2007 09:29:16 +0200

Hi,

I'm looking for any references about Abstract Interpretation
applied to the language C. More precisely, I'm interested
in the abstract domain for C, i.e. how the full set of
C operations can be modeled as abstract operations.

Do you know any publications/books or internet resources
concerning this topic? (I did not find anything on google.)

Best regards,
Tim
.

Prev by Date: Re: can the group generated by a group-embeddable monoid depend on the embedding?
Next by Date: Dumb question about linear programming
Previous by thread: ? fundamental theorem of algebra
Next by thread: Dumb question about linear programming
Index(es):
- Date
- Thread

Relevant Pages

Abstract Interpretation of Programming Language C
... I'm looking for any references about Abstract Interpretation ... applied to the language C. ... C operations can be modeled as abstract operations. ...
(comp.programming)
Abstract Doamin for C
... I'm looking for any references about Abstract Interpretation ... applied to the language C. ... C operations can be modeled as abstract operations. ...
(comp.theory)
Abstract Interpretation for C
... I'm looking for any references about Abstract Interpretation ... applied to the language C. ... C operations can be modeled as abstract operations. ...
(comp.lang.c)
Re: Abstract Interpretation for C
... I'm looking for any references about Abstract Interpretation ... applied to the language C. ... C operations can be modeled as abstract operations. ...
(comp.lang.c)
Re: Abstract Interpretation of Programming Language C
... I'm looking for any references about Abstract Interpretation ... applied to the language C. ... C operations can be modeled as abstract operations. ... restrict yourself to a C subset with reasonably clean semantics, ...
(comp.programming)