ISO/IEC 10514–1, the standard for Modula-2

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

ISO/IEC 10514–1, the standard for Modula-2: process aspects

Full text

Pdf (680 KB)

Source

ACM SIGPLAN Notices archive
Volume 31 , Issue 8 (August 1996) table of contents

Pages: 74 - 83

Year of Publication: 1996

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): 15, Citation Count: 2

Additional Information:

references cited by 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/242903.242950 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	[1] D. Bjørner and C. B. Jones. Formal Specification and Software Development. Prentice Hall, 1982.
	2	[2] BS 6154:1981, Method of defining Syntactic Metalanguage, 1981.
	3	B. J. Cornelius, Problems with the language Modula-2, Software—Practice & Experience, v.18 n.6, p.529-543, June, 1988 [doi>10.1002/spe.4380180604]
	4	[4] J. Dawes. The VDM-SL Reference Guide. Pitman, 1992.
	5	[5] I. P. Dickinson. Typesetting VDM-SL with VDMSL. NPL document obtainable via ftp.
	6	Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	7	Leslie Lamport, Latex: a document preparation system, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	8	[8] P. Lucas. On the Formal Description of PL/I. Ann. Rev. Aut. Progr., 6, 1969.
	9	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]
	10	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	11	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]
	12	Nico Plat , Kees Pronk , Marcel Verhoef, The Delft VDM-SL Front-End, Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions, p.677-680, October 21-25, 1991
	13	[13] ISO/IEC 9945-1:1990, POSIX System Interface. ISO/IEC, 1990.
	14	C. Pronk, Stress testing of compilers for Modula-2, Software—Practice & Experience, v.22 n.10, p.885-897, Oct. 1992 [doi>10.1002/spe.4380221007]
	15	[15] C. Pronk. Specifying Minimal Requirements Clauses for Programming Languages Standards using VDM-SL. Computer Standards and Interfaces, 15(4):325-336, 1993.
	16	[16] 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.
	17	[17] C. Pronk, N. Plat, and A. W. W. M. Biegstraaten. The Use and Construction of Tools for Checking Large Language Definitions. High Integrity Systems, 1996. To be published.
	18	David A. Schmidt, Denotational semantics: a methodology for language development, William C. Brown Publishers, Dubuque, IA, 1986
	19	Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977
	20	[20] VDM-Specification Language, Base-Language. ISO/IEC DIS 13817-1.
	21	[21] N. Wirth. Modula-2. Technical Report 36, ETH Zürich, 1980.
	22	[22] N. Wirth. Programming in Modula-2, second corrected edition. Springer-Verlag, Berlin, 1982.
	23	Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
	24	[24] N. Wirth. Programming in Modula-2, fourth corrected edition. Springer-Verlag, Berlin, 1988.

CITED BY 2

	C. Pronk , M. Schönhacker, Formal definition of programming language standards, ACM SIGPLAN Notices, v.38 n.8, August 2003
	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