Program transformations and WAM-support for the compilation of definite metaprograms-Reference-Cited by-同舟云学术

Program transformations and WAM-support for the compilation of definite metaprograms

Published:1992 Issue: Volume: Page:462-473
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Tarau Paul

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55460-2_35.pdf

Reference22 articles.

1. H. Ait-Kaci: “The WAM: A (Real) Tutorial”, Digital PRL, January 1990.

2. M.H.M. Cheng, M.H. van Emden, P.A. Strooper, “Complete Sets of Frontiers in Logic-based Program Transformation”, J.W. Lloyd (ed.), Proceedings of the Workshop on Meta-Programming in Logic Programming, p. 213–225, Bristol, 1988.

3. M.H.M. Cheng, M.H. van Emden, B.E. Richards: “On Warren's Method for Functional Programming in Logic”, D.H.D. Warren, P. Szeredi (eds.), Logic Programming Proceedings of The Seventh International Conference, p.546–561, MIT Press 1990.

4. B. Demoen, “On the transformation of a Prolog Program to a more efficient binary Program”, Report CW 130, December 1990, K.U.Leuven.

5. B. Demoen, A. Marien, “Implementation of Prolog as binary definite Programs”, Russian Conference of Logic Programming, September 1991.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fast Frequent Querying with Lazy Control Flow Compilation;Theory and Practice of Logic Programming;2007-07

2. A Different Look at Garbage Collection for the WAM;Logic Programming;2002

3. So Many WAM Variations, So Little Time;Computational Logic — CL 2000;2000

4. Logic Programming and Meta-Logic;Logic of Computation;1997

5. Ecological memory management in a continuation passing prolog engine;Memory Management