Semantics of under-determined expressions

DOI10.1007/BF01211050zbMath0843.68061DBLPjournals/fac/LarsenH96WikidataQ57733857 ScholiaQ57733857MaRDI QIDQ1911315

Bo Stig Hansen, Peter Gorm Larsen

Publication date: 21 April 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

specification languagessemantics of recursionVDM-SL

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Non-deterministic expressions and predicate transformers ⋮ Semantics of under-determined expressions ⋮ Modelling higher-order dual nondeterminacy

Cites Work

• Do-it-yourself type theory
• Referential transparency, definiteness and unfoldability
• Semantics of under-determined expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of under-determined expressions