On collecting semantics for program analysis
| Autor: | Francesca Scozzari, Gianluca Amato, Maria Chiara Meo |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
General Computer Science
Computer science Programming language Semantics (computer science) 0102 computer and information sciences 02 engineering and technology Characterization (mathematics) Abstract interpretation computer.software_genre Semantics 01 natural sciences Constructive Theoretical Computer Science Program analysis 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Relative precision computer |
| Zdroj: | Theoretical Computer Science. 823:1-25 |
| ISSN: | 0304-3975 |
| DOI: | 10.1016/j.tcs.2020.02.021 |
| Popis: | Reasoning on a complex system in the abstract interpretation theory starts with a formal description of the system behavior specified by a collecting semantics. We take the common point of view that a collecting semantics is a very precise semantics from which other abstractions may be derived. We elaborate on both the concepts of precision and derivability, and introduce a notion of adequacy which tell us when a collecting semantics is a good choice for a given family of abstractions. We instantiate this approach to the case of first-order functional programs by considering three common collecting semantics and some abstract properties of functions. We study their relative precision and give a constructive characterization of the classes of abstractions which are adequate for the collecting semantics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect