Semantics of under-determined expressions

DOI10.1007/BF01211050MaRDI QIDQ1911315zbMATH OpenDBLPWikidataFDO

Authors Peter Gorm Larsen, Bo Stig Hansen

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)

Recommendations

• Non-deterministic expressions and predicate transformers
• Simply-typed underdeterminism
• Interpretations of recursion under unbounded nondeterminacy
• Underspecification for a simple process algebra of recursive processes.
• From Chaos to Undefinedness

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 595218 (Why is no real title available?)
• scientific article; zbMATH DE number 3802794 (Why is no real title available?)
• scientific article; zbMATH DE number 795688 (Why is no real title available?)
• scientific article; zbMATH DE number 3300566 (Why is no real title available?)
• Do-it-yourself type theory
• Referential transparency, definiteness and unfoldability
• Semantics of under-determined expressions

Cited in

(7)

• Unsettling preferential semantics
• Non-deterministic expressions and predicate transformers
• scientific article; zbMATH DE number 2114410 (Why is no real title available?)
• Semantics of under-determined expressions
• Saying a bundle: meaning, intention, and underdetermination
• Expression and guidance in Schroeder's expressivist semantics
• Modelling higher-order dual nondeterminacy

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1911315)