The Vienna development method: The meta-language
From MaRDI portal
Cited in
(14)- VDM semantics of programming languages: Combinators and monads
- The origins of structural operational semantics
- A guided tour of the mathematics of MetaSoft '88
- Toward complete programming language descriptions that are both formal and understandable
- Map theory
- A denotational semantics for the generalized ER model and a simple ER algebra
- Composition aspects of programmology. I
- Partiality, state and dependent types
- Multilevel structured program designs and correctness proving
- Remarks on testing probabilistic processes
- A design method for embedded software systems
- Operational semantics: concepts and their expression
- Domain modelling: a foundation for software development
- Manifest domains: analysis and description
This page was built for publication: The Vienna development method: The meta-language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1244808)