Determinacy analysis for full Prolog

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Determinacy analysis for full Prolog

Full text

Pdf (825 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: 23 - 30

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Author

Dan Sahlin

SICS, Box 1263, S-164 28, Sweden

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 18, Citation Count: 3

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.115869 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.

	Bugl89	Bugliesi, M. and Russo, F. Partial Evaluation in Prolog: Some Improvements about Cut, Logic Programming, Proceedings of the North American Conference, 1989, MIT Press
	Fuch88	New Generation Computing, 6 (1988), Special issue: selected papers from the Workshop on Partial Evaluation and Mixed Computation, ed. K. Fuchi, Ohmsha. Ltd/Springer-Verlag, 1988
	Komo81	Komorowski, H.J., A specification of an abstract Prolog machine and its application to partial evaluation, Phi) thesis, No 69, Software Systems Research Center, Link6ping University, 1981.
	Lakh89	Lakhotia, A. ,ProMiX: a Prolog Partial Evaluation System. Tech. Rept. CES-89-05, Department of Computer Engineering and Science, Case Western Reserve University, 1989
	Lakh90	1.2khotia, A. and Sterling, L., ProMiX: a Prolog Partial Evaluation System, in {Ster90}
	LeSa88	Levi, G. and Sardu, G., Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language, in {Fuch88}
	Mell85	Mellish, C.S., Some global optimizations for a Prolog compiler, J. Logic Programming 1985:1, pp. 43-66
	Mell87	Mellish, C.S., Abstract interpretation of PROLOG programs, in Abstract Interpretation of Declarative Languages, eds. Abramsky, S. and Hankin, C., Ellis Horwood and John Wiley&sons, pp. 181-198, 1987
	Owen89	S. Owen, Issues in the partial evaluation of meta-interpreters, Meta-programming in logic programming, MIT Press, Cambridge, MA, 1989
	Sahl90	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
	Sahl91	Sahlin, D.,An Automatic Partial Evaluator for Full Prolog, PhD Thesis, The Royal Institute of Technology and SICS
	Ster90	Leon S. Sterling, The practice of Prolog, MIT Press, Cambridge, MA, 1990
	Venk84	Venken,R., A Prolog meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimisation, Proc. ECAI'84, Pisa 1984

CITED BY 3

	George Xirogiannis , Hamish Taylor, PAN: a portable, parallel prolog: Its design, realisation and performance, New Generation Computing, v.20 n.4, p.373-399, October 2002
	Baudouin Le Charlier , Sabina Rossi , Pascal Van Hentenryck, Sequence-based abstract interpretation of Prolog, Theory and Practice of Logic Programming, v.2 n.1, p.25-84, January 2002
	Hélène Kirchner , Pierre-Etienne Moreau, Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories, Journal of Functional Programming, v.11 n.2, p.207-251, March 2001