Abstract Doamin for C
- From: Tim Frink <plfriko@xxxxxxxx>
- Date: Tue, 18 Sep 2007 13:06: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: Question on Turing Machine (equivalence)
- Next by Date: GREAT OPPURTUNITIES FOR INTERNSHIP CANDIDATES FOR FINAL YEAR CANDIDATES FOR M.TECH/B.E/MCA/BCA(CSE/ISE).
- Previous by thread: Question on Turing Machine (equivalence)
- Next by thread: GREAT OPPURTUNITIES FOR INTERNSHIP CANDIDATES FOR FINAL YEAR CANDIDATES FOR M.TECH/B.E/MCA/BCA(CSE/ISE).
- Index(es):
Relevant Pages
|
