Back to Search
Start Over
Equations as a framework for partial evaluation and abstract interpretation
- Publication Year :
- 1997
-
Abstract
- A variety of disparate methods have traditionally been used to define the execution semantics of programming languages, to describe partial evaluation, to formalize program analysis as abstract interpretation, and to implement each of these operations in practical systems. We argue here that equational logic can serve to unify each of these aspects of language manipulation.
Details
- Database :
- OAIster
- Notes :
- application/pdf, English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1251890608
- Document Type :
- Electronic Resource