This work was supported in part by the european FP5 project IST-1999-20527 Daedalus.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In 6 th POPL, pages 269–282, San Antonio, TX, 1979. ACM Press.
P. Cousot and R. Cousot. Abstract interpretation frameworks. J. Logic and Comp., 2(4):511–547, Aug. 1992.
P. Cousot and R. Cousot. A case study in abstract interpretation based program transformation: Blocking command elimination. ENTCS, 45, 2001. http://www.elsevier.nl/locate/entcs/volume45.html, 23 pages.
N. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Int. Series in Computer Science. Prentice-Hall, June 1993.
N.D. Jones. An introduction to partial evaluation. ACM Comput. Surv., 28(3):480–504, Sep. 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cousot, P. (2001). Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. In: Codognet, P. (eds) Logic Programming. ICLP 2001. Lecture Notes in Computer Science, vol 2237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45635-X_3
Download citation
DOI: https://doi.org/10.1007/3-540-45635-X_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42935-7
Online ISBN: 978-3-540-45635-3
eBook Packages: Springer Book Archive