Pages that link to "Item:Q1244808"

The following pages link to The Vienna development method: The meta-language (Q1244808):

Displayed 11 items.

• VDM semantics of programming languages: Combinators and monads (Q539163) ‎ (← links)
• A design method for embedded software systems (Q921962) ‎ (← links)
• Operational semantics: concepts and their expression (Q1028973) ‎ (← links)
• A guided tour of the mathematics of MetaSoft '88 (Q1111360) ‎ (← links)
• Map theory (Q1193653) ‎ (← links)
• The origins of structural operational semantics (Q1878710) ‎ (← links)
• Multilevel structured program designs and correctness proving (Q1910975) ‎ (← links)
• Partiality, State and Dependent Types (Q3007667) ‎ (← links)
• Toward complete programming language descriptions that are both formal and understandable (Q3314961) ‎ (← links)
• Composition aspects of programmology. I (Q3790610) ‎ (← links)
• A denotational semantics for the generalized ER model and a simple ER algebra (Q3807649) ‎ (← links)