Conference item icon

Conference item

Abstraction of Syntax

Abstract:

The theory of abstract interpretation is a conceptual frame- work for reasoning about approximation of semantics. We ask if the creative process of designing an approximation can be studied mathe- matically. Semantic approximations, whether studied in a purely mathe- matical setting, or implemented in a static analyser, must have a repre- sentation. We apply abstract interpretation to syntactic representations and study abstraction of syntax. We show that semantic abstractions and syntactic a...

Expand abstract

Actions


Authors


V. D'Silva More by this author
D. Kroening More by this author
Publisher:
Springer−Verlag
Publication date:
2013
URN:
uuid:49b0929c-edd6-4e56-b2fc-6294a6a69329
Local pid:
cs:6394

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP