Towards creating specialised integrity checks through partial evaluation of meta-interpreters
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
On Termination of Meta-Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
On termination of meta-programs
Theory and Practice of Logic Programming
Towards just-in-time partial evaluation of prolog
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Fully automatic binding-time analysis for prolog
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |