scientific article
From MaRDI portal
Publication:3347263
zbMath0558.68011MaRDI QIDQ3347263
Albert R. Meyer, Joseph Y. Halpern, B. A. Trakhtenbrot
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsdenotational semanticsaxiomatic semanticscomplete partial ordersPartial correctness
Related Items
Recursive programs and denotational semantics in absolute logics of programs, Full abstraction for the second order subset of an Algol-like language, An observationally complete program logic for imperative higher-order functions, Semantical analysis of specification logic, Proof obligations for blocks and procedures, Reasoning about procedures as parameters in the language L4, From Logic to Theoretical Computer Science – An Update, The semantics of second-order lambda calculus, Equivalences among logics of programs
