Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Problems with the language Modula-2
Software—Practice & Experience
Latex: a document preparation system
Latex: a document preparation system
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Systems programming with Modula-3
Systems programming with Modula-3
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Stress testing of compilers for Modula-2
Software—Practice & Experience
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Formal definition of programming language standards
ACM SIGPLAN Notices
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
| Hi-index | 0.00 |