On Termination of Meta-Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Combining Semantics with Non-standard Interpreter Hierarchies
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Generalization in Hierarchies of Online Program Specialization Systems
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
Chain programs for writing deterministic metainterpreters
Theory and Practice of Logic Programming
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
On termination of meta-programs
Theory and Practice of Logic Programming
Efficient and flexible access control via Jones-optimal logic program specialisation
Higher-Order and Symbolic Computation
Twelve theses on reactive rules for the web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
Hi-index | 0.00 |