A basis for a multilevel metalogic programming language-Reference-Cited by-同舟云学术

A basis for a multilevel metalogic programming language

Published:1994 Issue: Volume: Page:262-275
ISSN:0302-9743
Container-title:Logic Program Synthesis and Transformation — Meta-Programming in Logic
language:
Short-container-title:

Author:

Barklund Jonas,Boberg Katrin,Dell'Acqua Pierangelo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58792-6_17.pdf

Reference28 articles.

1. Aiello, L. C., Nardi, D. and Schaerf, M., Reasoning about Knowledge and Ignorance, in: H. Tanaka and K. Furukawa (eds.), Proc. Intl. Conf. on Fifth Generation Comp. Sys. 1988, Ohmsha, Tokyo, 1988.

2. Barklund, J., What is a Meta-Variable in Prolog?, in: H. Abramson and M. H. Rogers (eds.), Meta-Programming in Logic Programming, MIT Press, Cambridge, Mass., 1989.

3. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Reflection through Constraint Satisfaction, in: P. Van Hentenryck (ed.), Logic Programming: Proc. 11th Intl. Conf., MIT Press, Cambridge, Mass., 1994.

4. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., SLD-Resolution with Reflection, to appear in Proc. ILPS'94, 1994.

5. Barklund, J. and Hamfelt, A., Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic, J. Logic Programming, 18:55–80 (1994).

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

1. Meta-reasoning: A Survey;Computational Logic: Logic Programming and Beyond;2002

2. Generalization in Hierarchies of Online Program Specialization Systems;Logic-Based Program Synthesis and Transformation;1999

3. On the mechanics of metasystem hierarchies in program transformation;Logic Program Synthesis and Transformation;1996

4. Reasoning about hierarchies of online program specialization systems;Partial Evaluation;1996