Formal definition of programming language standards

Authors:
C. Pronk;M. Schönhacker
Affiliations:
Delft University of Technology, The Netherlands;Vienna University of Technology, Austria
Venue:
ACM SIGPLAN Notices
Year:
2003

Citing 7
Cited 1

Programming in MODULA-2 (3rd corrected ed.)

Programming in MODULA-2 (3rd corrected ed.)
The formal definition of Modula-2 and its associated interpreter

Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
An overview of the ISO/VDM-SL standard

ACM SIGPLAN Notices
A taste of the Modula-2 standard

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

ACM SIGPLAN Notices
ISO/IEC 10514–1, the standard for Modula-2: changes, clarifications and additions

ACM SIGPLAN Notices
The essence of XML

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

VDM semantics of programming languages: combinators and monads

Formal methods and hybrid real-time systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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