article

Free access

Extending the power of automatic constraint-based partial evaluators

Authors:

L. Lafave,

J. P. GallagherAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 30, Issue 3es

Pages 15 - es

https://doi.org/10.1145/289121.289136

Published: 01 September 1998 Publication History

PDF eReader

References

[1]

COEN-PORISINI, A., PAOLI, F. D., GHEZZI, C., AND MANDRIOLI, D. 1991. Software specialization via symbolic execution. IEEE Transactions on Software Engineering 17, 9 (Sept.), 884-899.]]

Digital Library

Google Scholar

[2]

FUTAMURA, Y. AND NOGI, K. 1988. Generalized partial computation. In A. E. D. BJQRNER AND N. JONES Eds., Partial Evaluation and Mixed Computation (1988), pp. 133. North Holland.]]

Google Scholar

[3]

FUTAMURA, Y., NOGI, K., AND TAKANO, A. 1991. Essence of generalized partial computation. Theoretical Computer Science 90, 1, 61-79. Also in D. Bjorner and V. Kotov: Images of Programming, North-Holland, 1991.]]

Digital Library

Google Scholar

[4]

C-,L/JCK, R. AND KLIMOV, A.V. 1993. Occam's razor in metacomputation: the notion of a perfect process tree. In G. F. P.CoUSOT, M.FALASCHI AND A. RAUZY Eds., Static Analysis. Proceedings, Volume 724 of Lecture Notes in Computer Science (1993), pp. 112-123. Springer-Verlag.]]

Digital Library

Google Scholar

[5]

CxLUCK, R. AND SQRENSEN, M. 1996. A Roadmap to Metacomputation by Supercompilation. In O. DANVY, R. C-,L/JCK, AND P. THIEMANN Eds., Partial Evaluation, Volume 1110 of LNCS (Dagstuhl Castle, Germany, 1996). Springer.]]

Digital Library

Google Scholar

[6]

JONES, N. D., GOMARD, C., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science. Series editor C. A. R. Hoare.]]

Digital Library

Google Scholar

[7]

LAFAVE, L. AND GALLAGHER, J. 1997a. Constraint-based Partial Evaluation of Rewritingbased Functional Logic Programs. In To appear in the Proceedings of the Workshop on Logic Program Specialisation and Transformation (LOPSTR) 1997 (Leuven, Belgium, July ~99r).]]

Google Scholar

[8]

LAFAVE, L. AND GALLAGHER, J. 1997b. Information Propagation in Partial Evaluation by Constraints. In Workshop on Constraint Programming for Reasoning about Programming (April 1997).]]

Google Scholar

[9]

LEUSCHEL, M. AND SCHREYE, D.D. 1997. Constrained Partial Deduction and the Preservation of Characteristic Trees. Technical report (June), Department of Computer Science, Katholieke Universiteit Leuven. Accepted for publication in New Generation Computing.]]

Google Scholar

[10]

LLOYD, J. 1995. Declarative Programming in Escher. Technical Report CSTR-95-013 (June), Department of Computer Science, University of Bristol.]]

Digital Library

Google Scholar

[11]

LLOYD, J. W. AND SHEPHERDSON, J.C. 1991. Partial Evaluation in Logic Programming. Journal of Logic Programming 11, 3&4 (October), 217-242.]]

Digital Library

Google Scholar

[12]

SQRENSEN, M., GL/JCK, R., AND JONES, N. 1996. A Positive Supercompiler. Journal of Functional Programming 6, 6, 811-838.]]

Crossref

Google Scholar

[13]

TAKANO, A. 1991. Generalized partial computation for a lazy functional language. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut (Sigplan Notices, vol. 26, no. 9, September 1991) (1991), pp. 1-11. New York: ACM.]]

Digital Library

Google Scholar

[14]

TAKANO, A. 1992. Generalized partial computation using disunification to solve constraints. Lecture Notes in Computer Science 656, 424-428.]]

Digital Library

Google Scholar

[15]

TURCHIN, V. 1986. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems 8, 3 (July), 292-325.]]

Digital Library

Google Scholar

Cited By

View all

Khoo SShi K(2019)Program Adaptation via Output-Constraint SpecializationHigher-Order and Symbolic Computation10.1023/B:LISP.0000029449.57959.bd17:1-2(93-128)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1023/B%3ALISP.0000029449.57959.bd
Secher JSørensen M(2000)On Perfect SupercompilationPerspectives of System Informatics10.1007/3-540-46562-6_10(113-127)Online publication date: 28-Jan-2000
https://doi.org/10.1007/3-540-46562-6_10

Index Terms

Extending the power of automatic constraint-based partial evaluators
1. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 30, Issue 3es

Special issue: electronic supplement to the September 1998 issue

Sept. 1998

141 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/289121

Editor:
Peter Wegner
Brown Univ., Providence, RI

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1998

Published in CSUR Volume 30, Issue 3es

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
475
Total Downloads

Downloads (Last 12 months)30
Downloads (Last 6 weeks)5

Reflects downloads up to 22 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Khoo SShi K(2019)Program Adaptation via Output-Constraint SpecializationHigher-Order and Symbolic Computation10.1023/B:LISP.0000029449.57959.bd17:1-2(93-128)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1023/B%3ALISP.0000029449.57959.bd
Secher JSørensen M(2000)On Perfect SupercompilationPerspectives of System Informatics10.1007/3-540-46562-6_10(113-127)Online publication date: 28-Jan-2000
https://doi.org/10.1007/3-540-46562-6_10

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Kontrollflusssensible Quelltext-Umgestaltung mithilfe von Constraint-Programmierung / Control-flow sensible source code refactoring using constraint-programming

Model Predictive Control for Partial Differential Equations

Erweiterbare Objekterkennungsbasierte Automatische Annotation Von Bildern / Extensible object-recognition-based automatic image annotation