What question did this study set out to answer?

To establish a comprehensive algebraic foundation for Dijkstra's nondeterministic sequential programming language and provide formal mechanisms for program derivation.

August 1, 1987Communications of the ACMOpen Access

Laws of programming

View Full Paper

Ask AI

Bookmark

Authors

CHC. A. R. HoareUniversity of Oxford IHIan J. HayesThe University of Queensland HJHe JifengChina University of Geosciences (Beijing)

Discussion

Member takes

Implication

Theoretical analysis establishes algebraic laws for nondeterministic sequential programs, suggesting a formal calculus to derive code directly from specifications.

Key Points

To establish a comprehensive algebraic foundation for Dijkstra's nondeterministic sequential programming language and provide formal mechanisms for program derivation.
Formulated algebraic transformation laws tailored to nondeterministic sequential programming constructs.
Applied Scott's domain theory to characterize iteration and recursion as fixed points of continuous functionals.
Constructed a formal derivation calculus modeled on weakest precondition semantics.
Presents a complete set of algebraic laws governing program equivalence and transformation in Dijkstra's language.
Demonstrates mathematical formalization of iteration and recursion using continuous functionals and fixed-point semantics.
Yields a systematic calculus enabling the direct mathematical derivation of executable programs from specifications.

Cite This Study

Hoare et al. (1987) studied this question.

synapsesocial.com/papers/6a0ee1512eca052da647e0e8 https://doi.org/10.1145/27651.27653

View Full Paper

Ask AI

Bookmark

Implication

Theoretical analysis establishes algebraic laws for nondeterministic sequential programs, suggesting a formal calculus to derive code directly from specifications.

Laws of programming

Discussion

Member takes

Implication

Key Points

Cite This Study

Laws of programming

Discussion

Member takes

Implication

Key Points

Cite This Study

Also Consider

Also Consider