The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Generalized partial computation for a lazy functional language
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation in logic programming
Journal of Logic Programming
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
Essence of generalized partial computation
Theoretical Computer Science - Images of programming dedicated to the memory of Andrei P. Ershov
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree
WSA '93 Proceedings of the Third International Workshop on Static Analysis
A Roadmap to Metacomputation by Supercompilation
Selected Papers from the Internaltional Seminar on Partial Evaluation
Generalized Partial Computation using Disunification to Solve Constraints
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Declarative Programming in Escher
Declarative Programming in Escher
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Program Adaptation via Output-Constraint Specialization
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |