Predicative programming Part II
From MaRDI portal
Publication:3723676
DOI10.1145/69610.357990zbMath0593.68011MaRDI QIDQ3723676
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
composition; assignment; predicate; nondeterministic choice; semantics of programs; deterministic choice; variable declaration
68N01: General topics in the theory of software
Related Items
Reasoning about orchestrations of web services using partial correctness, Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language, Kleene under a modal demonic star, Program composition via unification