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
Program composition via unification, Interfaces between languages for communicating systems, 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