Equations as a uniform framework for partial evaluation and abstract interpretation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Equations as a uniform framework for partial evaluation and abstract interpretation

Full text

Pdf (173 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 30 , Issue 3es (September 1998) table of contents
Special issue: electronic supplement to the September 1998 issue

Article No. 2

Year of Publication: 1998

ISSN:0360-0300

Authors

J. Field	IBM T. J. Watson Research Center
J. Heering	CWI
T. B. Dinesh	CWI

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 37, Citation Count: 1

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/289121.289123 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.

	1	J. A. Bergstra , T. B. Dinesh , J. Field , J. Heering, Toward a complete transformational toolkit for compilers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.639-684, Sept. 1997 [doi>10.1145/265943.265944]
	2	BOROVANSKY, P., KIRCHNER, C., KIRCHNER, H., MOREAU, P.-E., AND VITTEK, M. 1996. ELAN: A logical framework based on computational systems. In J. MESEGUER Ed., Proceedings o} the First International Workshop on Rewriting Logic, Volume 4 (Asilomar (California), September 1996). Electronic Notes in Theoretical Computer Science.
	3	Patrick Cousot , Rahida Cousot, Abstract interpretation and application to logic programs, Journal of Logic Programming, v.13 n.2-3, p.103-179, July 1992 [doi>10.1016/0743-1066(92)90030-7]
	4	Nachum Dershowitz , Jean-Pierre Jouannaud, Rewrite systems, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	5	Klaus Didrich , Andreas Fett , Carola Gerke , Wolfgang Grieskamp , Peter Pepper, OPAL: design and implementation of an algebraic programming language, Proceedings of the international conference on Programming languages and system architectures, p.228-244, April 1994, Zurich, Switzerland
	6	DINESH, T.B. 1996. A kernel object-oriented language. In A. VAN DEURSEN, J. HEERING, AND P. KLINT Eds., Language Prototyping: An Algebraic Specification Approach, AMAST Series in Computing, Chapter 3, pp. 53-84. World Scientific.
	7	FIELD, J. 1992. A simple rewriting semantics for realistic imperative programs and its application to program analysis. In Proceedings o} the A CM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (San Francisco, June 1992), pp. 98-107. Published as Yale University Technical Report YALEU/DCS/RR-909.
	8	John Field , Frank Tip, Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, p.415-431, September 14-16, 1994
	9	HARTEL, P. U. ET AL. 1996. Benchmarking implementations of functional languages with 'Pseudoknot', a float-intensive benchmark. J. Funct. Program. 6, 621-655.
	10	J Heering, Partial evaluation and &ohgr;-completeness of algebraic specifications, Theoretical Computer Science, v.43 n.2-3, p.149-167, July 1986
	11	HENNICKER, R. 1991. Context induction: A proof principle for behavioural abstractions and algebraic implementations. Formal Aspects o} Computing 3, 326-345.
	12	C. A. R. Hoare , I. J. Hayes , He Jifeng , C. C. Morgan , A. W. Roscoe , J. W. Sanders , I. H. Sorensen , J. M. Spivey , B. A. Sufrin, Laws of programming, Communications of the ACM, v.30 n.8, p.672-686, Aug. 1987 [doi>10.1145/27651.27653]
	13	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	14	J. R. Kennaway , J. W. Klop , M. R. Sleep , F. J. de Vries, On the adequacy of graph rewriting for simulating term rewriting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.493-523, May 1994 [doi>10.1145/177492.177577]
	15	J Meseguer , J A Goguen, Initiality, induction, and computability, Algebraic methods in semantics, Cambridge University Press, New York, NY, 1986
	16	Steven S. Muchnick , Neil D. Jones, Program Flow Analysis: Theory and Application, Prentice Hall Professional Technical Reference, 1981
	17	VAN DEN BRAND, M. C. J. AND OLIVIER, P. 1998. An ASF+SDF to C compiler. Technical report, CWI/University of Amsterdam. In preparation.
	18	Martin Wirsing, Algebraic specification, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991