DOI10.1016/0022-0000(91)90037-6zbMath0716.68060MaRDI QIDQ753499
Christian Lengauer, Manfred Broy
Publication date: 1991 Published in: Journal of Computer and System Sciences (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0022-0000(91)90037-6
zbMATH Keywords
denotational semantics; predicative semantics
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
68N01: General topics in the theory of software
Cites Work