Complete sets of frontiers in logic-based program transformation

Authors:
M. H. M. Cheng;M. H. van Emden;P. A. Stroopet
Affiliations:
-;-;-
Venue:
Meta-programming in logic programming
Year:
1989

Citing 0
Cited 3

Toward the partial evaluation of CLP languages

PEPM '91 Proceedings of the 1991 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
On termination of meta-programs

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract