Partial evaluation of pattern matching in constraint logic programming languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Partial evaluation of pattern matching in constraint logic programming languages

Full text

Pdf (958 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: 62 - 71

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Author

Donald A. Smith

Michtom School of Computer Science, Brandeis University, Waltham, MA

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 14, Citation Count: 12

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions 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.115873 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.

	AHO	Aho, A. "Pattern Matching in Strings" in Formal Language Theory: Perspectives and Open Problems. Book, R., ed. Academic Press, 1980.
	AHU	Alfred V. Aho , John E. Hopcroft, The Design and Analysis of Computer Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1974
	BEJ	D. Bjorner , Neil D. Jones , A. P. Ershov, Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987, Elsevier Science Inc., New York, NY, 1988
	CD	Charles Consel , Olivier Danvy, Partial evaluation of pattern matching in strings, Information Processing Letters, v.30 n.2, p.79-86, January 1989 [doi>10.1016/0020-0190(89)90113-0]
	D90	Olivier Danvy, Semantics-directed compilation of nonlinear patterns, Information Processing Letters, v.37 n.6, p.315-322, March 28, 1991 [doi>10.1016/0020-0190(91)90148-B]
	FN	Futamura, Y, and Nogi, K. "Generalized Partial Computation", in {BEJ}, p 133.
	FOF	Fujita, H., Okumura, A. and Furukawa, K. "Partial Evaluation of GHC Programs Based on the UR-set with Constraints". Logic Programming: Proceedings of the Fifth International Conference and Symposium, Vol 2, p 924.
	Fujita	Fujita, H.. "An Algorithm for Partial Evaluation with Constraints". ICOT Technical Memo. TM- 0367, ICOT, Tokyo, 1987.
	HiSm	Timothy J. Hickey , Donald A. Smith, Toward the partial evaluation of CLP languages, Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.43-51, June 17-19, 1991, New Haven, Connecticut, United States
	HMS	Heintze, N; Michaylov, S; and Stuckey, P. "CLP(7~) and some Electrical Engineering Problems", Proceedings ICLP87, Melbourne, 1987.
	HO	Christoph M. Hoffmann , Michael J. O'Donnell, Pattern Matching in Trees, Journal of the ACM (JACM), v.29 n.1, p.68-95, Jan. 1982 [doi>10.1145/322290.322295]
	HS	Ellis Horowitz , Sartaj Sahni, Fundamentals of data structures in PASCAL, Computer Science Press, Inc., New York, NY, 1984
	JL	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]
	KMP	Knuth, D.E., Morris, J.H., and Pratt, V.R. "Fast Pattern Matching in Strings". SIAM Journal on Computing Vol. 6, No 2, pp 323-350 (June, 1977).
	Kursawe	Kursawe, P. "Pure Partial Evaluation and Instantiation", in {BEJ}.
	LS	Pierre Lim , Peter J. Stuckey, A Constraint Logic Programming Shell, Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming, p.75-88, August 20-22, 1990
	Sm	Smith, O. "Constraint Operations for CLP(Y'7-)". Proceedzngs ICLP91, MIT Press, 1991.
	SmHi	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
	ST	T. Sato , H. Tamaki, Existential continuation, New Generation Computing, v.6 n.4, p.421-438, Feb. 1989 [doi>10.1007/BF03037449]
	Ueda86	Kazunori Ueda, Making exhaustive search programs deterministic, Proceedings on Third international conference on logic programming, p.270-282, September 1986, London, United Kingdom
	Ueda87	Ueda, J. "Making Exhaustive Search Programs Deterministic, Part II", Proceedings ICLP, Melbourne, 1987.
	vH	Pascal Van Hentenryck, Constraint satisfaction in logic programming, MIT Press, Cambridge, MA, 1989
	Wand	Mitchell Wand, Continuation-Based Program Transformation Strategies, Journal of the ACM (JACM), v.27 n.1, p.164-180, Jan. 1980 [doi>10.1145/322169.322183]

CITED BY 12

	J. P. Gallagher, Tutorial on specialisation of logic programs, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.88-98, June 14-16, 1993, Copenhagen, Denmark
	Alberto Pettorossi , Maurizio Proietti , Sophie Renault, Reducing nondeterminism while specializing logic programs, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.414-427, January 15-17, 1997, Paris, France
	Michael Leuschel , Bern Martens , Danny De Schreye, Controlling generalization and polyvariance in partial deduction of normal logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.1, p.208-258, Jan. 1998
	Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States
	Mads Sig Ager , Olivier Danvy , Henning Korsholm Rohde, On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.32-46, September 12-14, 2002, Aizu, Japan
	Mads Sig Ager , Olivier Danvy , Henning Korsholm Rohde, Fast partial evaluation of pattern matching in strings, ACM SIGPLAN Notices, v.38 n.10, p.3-9, October 2003
	Torben Amtoft , Charles Consel , Olivier Danvy , Karoline Malmkjær, The abstraction and instantiation of string-matching programs, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
	Alberto Pettorossi , Maurizio Proietti , Sophie Renault, Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Higher-Order and Symbolic Computation, v.18 n.1-2, p.121-210, June 2005
	Bernd Grobauer , Julia L. Lawall, Partial evaluation of pattern matching in strings, revisited, Nordic Journal of Computing, v.8 n.4, p.437-462, December 2001
	Mads Sig Ager , Olivier Danvy , Henning Korsholm Rohde, Fast partial evaluation of pattern matching in strings, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.4, p.696-714, July 2006
	Michael Leuschel , Maurice Bruynooghe, Logic program specialisation through partial deduction: Control issues, Theory and Practice of Logic Programming, v.2 n.4-5, p.461-515, July 2002
	Renaud Marlet , Scott Thibault , Charles Consel, Efficient Implementations of Software Architectures via Partial Evaluation, Automated Software Engineering, v.6 n.4, p.411-440, October 1999