Structural operational semantics as a basis for static program analysis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Structural operational semantics as a basis for static program analysis

Full text

Pdf (163 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 28 , Issue 2 (June 1996) table of contents

Pages: 340 - 343

Year of Publication: 1996

ISSN:0360-0300

Authors

Daniel Le Métayer	Univ. de Beaulieu, Rennes, Frances
David Schmidt	Kansas State Univ., Manhattan

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 46, 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/234528.234744 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	BURN,G.L.,HANKIN,C.L.,AND ABRAMSKY, S. 1986. Strictness analysis for higher-order functions. Sci. Comput. Program. 7 (Nov.), 249-278.
	2	BURN,G.AND LE METAYER, D. 1996. Proving the correctness of compiler optimisations based on a global analysis. J. Funct. Program. (Jan.).
	3	Patrick Cousot , Radhia Cousot, Inductive definitions, semantics and abstract interpretations, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.83-94, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143184]
	4	Patrick Cousot , Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.238-252, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512973]
	5	NIELSON F. 1982. A denotational framework for data flow analysis. Acta Inf. 18, 265-287.
	6	Hanne Riis Nielson , Flemming Nielson, Semantics with applications: a formal introduction, John Wiley & Sons, Inc., New York, NY, 1992
	7	PLOTKIN, G. D. 1981. Structural operational semantics. Lecture notes, DAIMI FN-19, Aar-hus Univ., Denmark.
	8	David A. Schmidt, Natural-Semantics-Based Abstract Interpretation (Preliminary Version), Proceedings of the Second International Symposium on Static Analysis, p.1-18, September 25-27, 1995
	9	G. A. Venkatesh, A framework for construction and evaluation of high-level specifications for program analysis techniques, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.1-12, June 19-23, 1989, Portland, Oregon, United States
	10	Kwangkeun Yi , Williams Ludwell Harrison, III, Automatic generation and management of interprocedural program analyses, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.246-259, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158642]