An experiment combining specialization with abstract interpretation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Documents
- An Experiment Combining Specialization
Final published version, 79.4 KB, PDF document
It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analysis tools. We now show that this purpose-built specializer can be reconstructed in a more modular way, and that the previous results can be achieved using an off-the-shelf partial evaluation tool, applied to an abstract interpreter. The key feature of the abstract interpreter is the abstract domain, which is the product of the property-based abstract domain with the concrete domain. This language-independent framework provides a practical approach to implementing a variety of powerful specializers, and contributes to a stream of research on using interpreters and specialization to achieve program transformations.
Original language | English |
---|---|
Title of host publication | Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis |
Number of pages | 4 |
Publisher | arXiv.org |
Publication date | 2020 |
Pages | 155-158 |
DOIs | |
Publication status | Published - 2020 |
Event | 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020 - Dublin, Ireland Duration: 25 Apr 2020 → 26 Apr 2020 |
Conference
Conference | 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020 |
---|---|
Land | Ireland |
By | Dublin |
Periode | 25/04/2020 → 26/04/2020 |
Series | Electronic Proceedings in Theoretical Computer Science, EPTCS |
---|---|
Volume | 320 |
ISSN | 2075-2180 |
ID: 305531910