Toward the partial evaluation of CLP languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Toward the partial evaluation of CLP languages

Full text

Pdf (947 KB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

New Haven, Connecticut, United States

Pages: 43 - 51

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Authors

Timothy J. Hickey	Department of Computer Science, Brandeis University
Donald A. Smith	Department of Computer Science, Brandeis University

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 23, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/115865.115871 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Abramson, Rogers 89	Harvey Abramson , M. H. Rogers, Meta-programming in logic programming, MIT Press, Cambridge, MA, 1989
	Benkerimi, Lloyd 90	Kerima Benkerimi , John W. Lloyd, A partial evaluation procedure for logic programs, Proceedings of the 1990 North American conference on Logic programming, p.343-358, January 1990, Austin, Texas, United States
	Bruynooghe, De Schreye, Martens 91	Bruynooghe, M., De Schreye,.D., Martens, B., A General Critierion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs, Technical Report, Department of Computer Science, Katholieke Universiteit Leuven, Belgium.
	Buttner, Simonis 87	Wolfram Büttner , Helmut Simonis, Embedding Boolean expressions into logic programming, Journal of Symbolic Computation, v.4 n.2, p.191-205, Oct. 1987 [doi>10.1016/S0747-7171(87)80065-2]
	Cheng, van Emden, Strooper 89	M. H. M. Cheng , M. H. van Emden , P. A. Stroopet, Complete sets of frontiers in logic-based program transformation, Meta-programming in logic programming, MIT Press, Cambridge, MA, 1989
	Chen,Kifer,Warren 89	Warren, D.S., "HiLog" A First Order Semantics for Higher Order Logic Programming Constructs," NACLP'89, Cleveland, 1989.
	Colmerauer 87	Alain Colmerauer, Opening the Prolog III universe, BYTE, v.12 n.9, p.177-182, Aug. 1987
	Cousot 81	Cousot, P. Semantic Foundations of Program Analysis, in Muchnick &: Jones: Program Flow Analysis, Theory and Applications, Prentice-HMl, 1981.
	Fujita, Okumura, Furukawa 88	Fujita, m., Okumura, A., and Furukawa, K., Partial Evaluation of GHC Programs Based on the UR-set with Constraints, Logic Programming" Proc 5th Int'l Conf. and Syrup. on Logic Programming, 1988.
	Fujita 87	Fujita, H. An Algorithm for Partial Evaluation with Constraints, ICOT Research Memo TM-0367, ICOT, Tokyo, 1987.
	Gallagher, Bruynooghe 90a	John Gallagher , Maurice Bruynooghe, The derivation of an algorithm for program specialisation, Logic programming, MIT Press, Cambridge, MA, 1990
	Gallagher, Bruynooghe 90b	Gallagher, J., Bruynooghe, M., Some Low-Level Source Transformations for Logic Programs, Proceedings of the Second Workshop on Metaprogramming in Logic, Leuven, pp. 229-244, 1990.
	Gallagher, Codish, Shapiro 88	J. Gallagher , M. Codish , E. Shapiro, Specialisation of Prolog and FCP programs using abstract interpretation, New Generation Computing, v.6 n.2-3, p.159-186, March-April 1988
	Heintze, Jaffar, Michaylov, Stuckey 90	Iteintze,N., Jaffar,J., Michaylov,S., Stuckey, P., Yap, R., "The CLP(R) Language and System", IBM Research Report., T.J. Watson Research Center, Yorktown Heights, Nov. 1990.
	van Hentenryck 89	Pascal Van Hentenryck, Constraint satisfaction in logic programming, MIT Press, Cambridge, MA, 1989
	Hickey 89	T. J. Hickey, CLP and constraint abstraction, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-133, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75288]
	Hickey 90	tIickey, T., "General Constraint Logic Programming," Tech. Rep., Computer Science Department, Brandeis University, 1990.
	Jaffar,Lassez 87	J. Jaffar , J.-L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.111-119, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41635]
	Kanellakis,Kuper,Revesz 90	Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages, Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.26-52, August 1995, Nashville, Tennessee, United States
	Komorowski 82	H. Jan Komorowski, Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.255-267, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582181]
	Komorowski 89	Komorowski, J., Synthesis of Programs in the Framework of Partial Deduction, Tech Report, Dept. CoSci, Abo Akademi, Abo Finland, 1989.
	Lloyd,Shepherdson 87	Lloyd, J. Shepherdson, JH. Partial Evaluation in Logic Programming, Tech. Rep. CS-87-09, Univ.of Bristol, U.K.
	Lusk, Warren, Haridi, et.al., 88	Lusk, E., Warren,D.H.D., Haridi, S., The Aurora Or-paralld Prolog System, FGCS'88.
	Nakagawa 87	H. Nakagawa, A Prolog program transformation system, The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation, p.21-29, June 1987, Bad To:9Ailz, Germany
	NGC 88	New Generation Computing. 1988.
	Owen	S. Owen, Issues in the partial evaluation of meta-interpreters, Meta-programming in logic programming, MIT Press, Cambridge, MA, 1989
	Sahlin 90	Dan Sahlin, The Mixtus approach to automatic partial evaluation of full Prolog, Proceedings of the 1990 North American conference on Logic programming, p.377-398, January 1990, Austin, Texas, United States
	Seki 89	Seki, H., Unfold~Fold Transformation of Stratitied Programs, Proceedings 6th International Logic Programruing Conference, ed. G. Levi and M. Martelli, Lisbon, MIT Press, 1989.
	Smith, Hickey 90	Donald A. Smith , Timothy J. Hickey, Partial evaluation of a CLP language, Proceedings of the 1990 North American conference on Logic programming, p.119-138, January 1990, Austin, Texas, United States
	Tamaki, Sato 84	Tamaki, It., and Sato, T., Unfold/Fold Tran.sformations of Logic Programs, Proceedings of the Second InternationM Logic Programming Conference, pp. 127- 138, Uppsala, 1984.
	Turchin 88	Turchin, V.F., The Algorithm of Generalization in the' Supercompiler, in Bjorner, Ershov, and Jones: Partial Evaluation and Mixed Computation, North-Holland, 1988.
	Warren, Pereira 81	Warren, D.H.D., and Pereira, F.C.N., An Efficient Easily Adaptable System for Interpreting Natural Language Queries, IJCAI-81, Vancouver, Canada.

CITED BY 3

	Donald A. Smith, Partial evaluation of pattern matching in constraint logic programming languages, ACM SIGPLAN Notices, v.26 n.9, p.62-71, Sept. 1991
	David S. Warren, Memoing for logic programs, Communications of the ACM, v.35 n.3, p.93-111, March 1992
	Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur, A tour of tempo: a program specializer for the C language, Science of Computer Programming, v.52 n.1-3, p.341-370, August 2004