Combining Abstract Interpretation and Partial Evaluation (Brief Overview)
Abstract elided by the publisher.
Related papers
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015
- Abstract Interpretation with Specialized Definitions SAS 2006
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JFP 2009
- A Brief Introduction to Regions ISMM 1998
- Java Pathfinder at SV-COMP 2019 (Competition Contribution) TACAS 2019
- Program Verification with Constrained Horn Clauses (Invited Paper) CAV 2022
- MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware JFP 1992
- A framework for the integration of partial evaluation and abstract interpretation of logic programs TOPLAS 2004