Parameterized partial evaluation
- 1 July 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 15 (3) , 463-493
- https://doi.org/10.1145/169683.174155
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Automatic online partial evaluationPublished by Springer Nature ,1991
- Abstract Interpretation, Logical Relations, and Kan ExtensionsJournal of Logic and Computation, 1990
- Two-level semantics and abstract interpretationTheoretical Computer Science, 1989
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977