Formal definition of programming language standards
This short note emphasizes the long standing use of formal techniques for the definition of programming languages.
modula-2 formal definition languages vdm-sl prolog