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


Publisher:
Springer−Verlag
Publication date:
2013-01-01
URN:
uuid:49b0929c-edd6-4e56-b2fc-6294a6a69329
Local pid:
cs:6394

Terms of use


Metrics


Views and Downloads






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

TO TOP