The programming language standards scene, ten years on Paper 15: Vienna Development Method Specification Language (VDM-SL)

Systematic software development using VDM

Sunil Vadera · Data Processing · 1986 · 1.1K citations

Software Maintenance, Software Development Practice, Engineering +9

The Synthesizer Generator: A system for constructing language-based editors

Computer Languages · 1989 · 242 citations

Engineering, Code Generation, Computational Linguistics +6

Programming language standardisation

Computers and Standards · 1983 · 28 citations

Syntax, Engineering, Declarative Programming +12

Understanding the differences between VDM and Z

Ian J. Hayes, Cliff B. Jones, J. E. Nicholls · ACM SIGSOFT Software Engineering Notes · 1994 · 19 citations · Full text

Engineering, Software Engineering, Semantics +20

Understanding the Differences Between VDM and Z

IJ Hayes, CB Jones, JE Nicholls · 1993 · 18 citations

Engineering, Software Engineering, Semantics +20