C. Pronk
Skip Abstract Section
Abstract
This short note emphasizes the long standing use of formal techniques for the definition of programming languages.
- ISO/IEC 10514-1 Information Technology, Programming Languages --- Modula-2, Base Language 10514-1:1996, 1996.Google Scholar
- ISO/IEC 13211-1 Information Technology, Programming Languages --- Prolog, General Core 1:1995, 1995.Google Scholar
- ISO/IEC 13871-1 Information Technology, Programming Languages -- VDM-Specification Language, Language. ISO/IEC 13817-1:1996, 1996.Google Scholar
- D. Andrews et al. The formal definition of Modula-2 and its associated interpreter. In R. Bloomfield, L. Marshall, and R. Jones, editors, Proceedings VDM 24 Europe 88, LNCS 328, pages 167--177. Springer-Verlag, 1988. Google ScholarDigital Library
- C. Pronk and M. Schönhacker. ISO/IEC 10514-1, the standard for Moduli-2: Process Aspects. ACM Sigplan Notices, 31(8):74--83, Aug 1996. Google ScholarDigital Library
- M. Schönhacker and C. Pronk. ISO/IEC 10514-1, the standard for Modula-2: Changes, Clarifications and Additions. ACM Sigplan, Notices, 31(8):84--95, Aug 1996. Google ScholarDigital Library
- N. Plat and P. G. Larsen. An Overview of the ISO/VDM-SL Standard. ACM Sigplan Notices, August 1992. Google ScholarDigital Library
- C. Pronk. Specifying Minimal Requirements Clauses for Programming Languages Standards using VDM-SL. Computer Standards and Interfaces, 15(4):325--336, 1993.Google ScholarCross Ref
- 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.Google Scholar
- 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.Google Scholar
- J. Siméon and P. Wadler. The Essence of XML. ACM Sigplan Notices, 38(1), 2003. Google ScholarDigital Library
- N. Wirth. Programming in Modula-2, third corrected edition. Springer-Verlag, Berlin, 1985. Google ScholarDigital Library
- M. Woodman. A Taste of the Modula-2 Standard. ACM Sigplan Notices, 28(9), sept 1993. Google ScholarDigital Library
Recommendations
Programming language standards
Encyclopedia of Computer ScienceOne of the earliest formal standardization activities undertaken in the field of information technology was for programming languages. This reflects the importance to users of programming languages and the benefits of language standards. There are two ...
Comments