Author:
Glück Robert,Hatcliff John,Jørgensen Jesper
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. S.M. Abramov. Metacomputation and program testing. In 1st International Workshop on Automated and Algorithmic Debugging, pages 121–135, Linköping University, Sweden, 1993.
2. Lect Notes Comput Sci;M. Alpuente,1996
3. K. Apt and F. Turini Meta-Logics and Logic Programming, MIT Press, 1995.
4. J. Barklund. A basis for a multilevel metalogic programming language. Technical Report 81, Uppsala University, Dept. of Computing Science, 1994.
5. R. Bol. Loop checking in partial deduction. J of Logic Programming, 16(1&2):25–46, 1993.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献