Predicative programming Part II

DOI10.1145/69610.357990MaRDI QIDQ3723676zbMATH OpenOpenAlexFDO

Authors 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

assignmentcompositiondeterministic choicenondeterministic choicepredicatesemantics of programsvariable declaration

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Predicative programming Part I
• scientific article; zbMATH DE number 3965414
• scientific article; zbMATH DE number 194642
• scientific article; zbMATH DE number 512961
• scientific article; zbMATH DE number 1354108
• scientific article; zbMATH DE number 1870124
• Programming by predicates: a formal model for interactive synthesis
• Predicate transformers and higher-order programs
• Mathematics of Program Construction

Cited in

(17)

• Program composition via unification
• scientific article; zbMATH DE number 4016169 (Why is no real title available?)
• Programs are predicates
• scientific article; zbMATH DE number 3913660 (Why is no real title available?)
• Implementing ALGOL 68 predicates
• scientific article; zbMATH DE number 3942991 (Why is no real title available?)
• scientific article; zbMATH DE number 512946 (Why is no real title available?)
• Reasoning about orchestrations of web services using partial correctness
• scientific article; zbMATH DE number 871158 (Why is no real title available?)
• Interfaces between languages for communicating systems
• Program composition via unification
• scientific article; zbMATH DE number 970745 (Why is no real title available?)
• Predicative specifications for functional programs describing communicating networks
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
• A generalized notion of semantic independence
• Kleene under a modal demonic star

This page was built for publication: Predicative programming Part II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3723676)