Solving coverability problems of petri nets by partial deduction
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Introduction to Supercompilation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Improving Homeomorphic Embedding for Online Termination
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction
CL '00 Proceedings of the First International Conference on Computational Logic
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Distillation: extracting the essence of programs
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Higher-level supercompilation as a metasystem transition
Programming and Computing Software
| Hi-index | 0.00 |