Abstraction of Syntax
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...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Udgivet: |
Springer−Verlag
2013
|