Effective Meta-programming in Declarative Languages (1998)

Cached

Download Links

by Antony Francis Bowers
Citations:2 - 0 self

Active Bibliography

8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994
4 Learning and Deduction in Neural Networks and Logic – Ekaterina Komendantskaya - 2007
7 Efficient Evaluation of Normal Logic Programs – Terrance Swift - 1994
Analysis and Transformation of Logic Programs – Kjell Erik Post - 1994
4 Resolution for Logic Programming with Universal Quantifiers – Antony F. Bowers, Patricia M. Hill, Francisco Ibañez - 1997
18 Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters – Michael Leuschel, Danny De Schreye - 1994
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
5 Evolution of Rule-Based Programs – Ralf Lämmel - 2004
46 Meta-Programming in Logic Programming – P.M. Hill, J.G. Gallagher, P. M. Hill, J. Gallagher - 1994
2 Typing Constraint Logic Programs – Francois Fages, Emmanuel Coquery
1 Evaluating Reasoning Systems – Conrad Bock, Michael Gruninger, Don Libes, Joshua Lubell, Eswaran Subrahmanian - 2006
A. Pettorossi, M. Proietti TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – R. Novembre
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
49 1983--1993: The Wonder Years of Sequential Prolog Implementation – Peter Van Roy - 1993
thesis upon request. – The Macintosh, Michael Brady, Michael Brady, Michael Brady - 2005
96 How to Declare an Imperative – Philip Wadler - 1995
19 Partial Deduction of the Ground Representation and its Application to Integrity Checking – Michael Leuschel, Bern Martens - 1995
5 A Denotational Semantics for First-Order Logic – Krzysztof R. Apt - 2000