Formal definition of programming language standards

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal definition of programming language standards

Full text

Pdf (184 KB)

Source

ACM SIGPLAN Notices archive
Volume 38 , Issue 8 (August 2003) table of contents

COLUMN: Technical correspondence table of contents

Pages: 20 - 21

Year of Publication: 2003

ISSN:0362-1340

Authors

C. Pronk	Delft University of Technology, The Netherlands
M. Schönhacker	Vienna University of Technology, Austria

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	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/944579.944585 What is a DOI?

ABSTRACT

This short note emphasizes the long standing use of formal techniques for the definition of programming languages.

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	ISO/IEC 10514-1 Information Technology, Programming Languages --- Modula-2, Base Language 10514-1:1996, 1996.
	2	ISO/IEC 13211-1 Information Technology, Programming Languages --- Prolog, General Core 1:1995, 1995.
	3	ISO/IEC 13871-1 Information Technology, Programming Languages -- VDM-Specification Language, Language. ISO/IEC 13817-1:1996, 1996.
	4	D. J. Andrews , A. Garg , S. P.A. Lau , J. R. Pitchers, The formal definition of Modula-2 and its associated interpreter, Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead, p.167-177, August 1988, Dublin, Ierland
	5	C. Pronk , M. Schönhacker, ISO/IEC 10514–1, the standard for Modula-2: process aspects, ACM SIGPLAN Notices, v.31 n.8, p.74-83, August 1996 [doi>10.1145/242903.242950]
	6	M. Schönhacker , C. Pronk, ISO/IEC 10514–1, the standard for Modula-2: changes, clarifications and additions, ACM SIGPLAN Notices, v.31 n.8, p.84-95, August 1996 [doi>10.1145/242903.242951]
	7	Nico Plat , Peter Gorm Larsen, An overview of the ISO/VDM-SL standard, ACM SIGPLAN Notices, v.27 n.8, p.76-82, Aug. 1992 [doi>10.1145/142137.142153]
	8	C. Pronk. Specifying Minimal Requirements Clauses for Programming Languages Standards using VDM-SL. Computer Standards and Interfaces, 15(4):325--336, 1993.
	9	C. Pronk, N. Plat, and A. W. W. M. Biegstraaten. Checking the formal definition of Modula-2. In E. Hill, editor, Safety Through Quality Conference, 1994.
	10	C. Pronk, N. Plat, and A. W. W. M. Biegstraaten. The Use and Construction of Tools for Checking Large Language Definitions. High Integrzty Systems, 1(6):557--568, 1996.
	11	Jérôme Siméon , Philip Wadler, The essence of XML, ACM SIGPLAN Notices, v.38 n.1, p.1-13, January 2003
	12	Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
	13	Mark Woodman, A taste of the Modula-2 standard, ACM SIGPLAN Notices, v.28 n.9, p.15-24, Sept. 1993 [doi>10.1145/165364.165370]

INDEX TERMS

Keywords:
Formal Definition Languages, Modula-2, Prolog, VDM-SL

Collaborative Colleagues:

C. Pronk: colleagues

M. Schönhacker: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player