Formalization of metaprogramming for real

Authors:
Giorgio Levi;Davide Ramundo
Affiliations:
-;-
Venue:
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Year:
1993

On Termination of Meta-Programs

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Meta-reasoning: A Survey

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Meta-circular abstract interpretation in prolog

The essence of computation
On termination of meta-programs

Theory and Practice of Logic Programming
S-semantics for logic programming: A retrospective look

Theoretical Computer Science

Hi-index	0.01