Toward the partial evaluation of CLP languages

[1]  Paul A. Strooper,et al.  Complete Sets of Frontiers in Logic-Based Program Transformation , 1988, META.

[2]  Donald A. Smith,et al.  Partial Evaluation of a CLP Language , 1990, NACLP.

[3]  H. Nakagawa.  A Prolog program transformation system , 1987 .

[4]  Michael Kifer,et al.  HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.

[5]  John W. Lloyd,et al.  A Partial Evaluation Procedure for Logic Programs , 1990, NACLP.

[6]  John P. Gallagher,et al.  Some low-level source transformations of logic programs , 1990 .

[7]  Dan Sahlin,et al.  The Mixtus Approach to Automatic Partial Evaluation of Full Prolog , 1990, NACLP.

[8]  David H. D. Warren,et al.  An Efficient Easily Adaptable System for Interpreting Natural Language Queries , 1982, CL.

[9]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[10]  Timothy J. Hickey.  CLP and constraint abstraction , 1989, POPL '89.

[11]  Alain Colmerauer,et al.  Opening the Prolog III universe , 1987 .

[12]  Wolfram Büttner,et al.  Embedding Boolean Expressions into Logic Programming , 1987, J. Symb. Comput..

[13]  Koichi Furukawa,et al.  Partial Evaluation of GHC Programs Based on the UR-set with Constraints , 1988, ICLP/SLP.

[14]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[15]  Stephen Owen,et al.  Issues in the Partial Evaluation of Meta-Interpreters , 1989, META.

[16]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[17]  Patrick Cousot,et al.  Semantic foundations of program analysis , 1981 .

[18]  Jan Komorowski,et al.  Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog , 1982, POPL '82.

[19]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..

[20]  Harvey Abramson,et al.  Meta-programming in logic programming , 1989 .