Predicative programming Part II

DOI10.1145/69610.357990zbMath0593.68011OpenAlexW4241481410MaRDI QIDQ3723676

Eric C. R. Hehner

Publication date: 1984

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/69610.357990

zbMATH Keywords

compositionassignmentpredicatenondeterministic choicesemantics of programsdeterministic choicevariable declaration

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (6)

Program composition via unification ⋮ Program composition via unification ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ Reasoning about orchestrations of web services using partial correctness ⋮ Interfaces between languages for communicating systems ⋮ Kleene under a modal demonic star

This page was built for publication: Predicative programming Part II