Fixpoints for general correctness

DOI10.1016/J.JLAP.2011.04.004zbMATHOpenAlexWikidataMaRDI QIDQ549677FDO

Authors Walter Guttmann

Publication date 18 July 2011

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2011.04.004

zbMATH Keywords

medianrecursionprogram semanticssemiringdistributive latticefixpointEgli-Milner ordergeneral correctness

Mathematics Subject Classification ID

Semirings (16Y60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Distributive lattices (06D99)

Recommendations

• General correctness algebra
• Partial, total and general correctness
• Knaster-Tarski revisited
• General correctness: A unification of partial and total correctness
• On the fixpoints of nondeterministic recursive definitions

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A Hofmann-Mislove theorem for bitopological spaces
• A Transformation System for Developing Recursive Programs
• A completeness theorem for Kleene algebras and the algebra of regular events
• A fixpoint theory for non-monotonic parallelism
• A relation algebraic model of robust correctness
• A ternary operation in distributive lattices
• A theory for nondeterminism, parallelism, communication, and concurrency
• Bilattices and the semantics of logic programming
• Chain-complete posets and directed sets with applications
• Domain Axioms for a Family of Near-Semirings
• General correctness algebra
• General correctness: A unification of partial and total correctness
• Internal axioms for domain semirings
• Junctive compositions of specifications in total and general correctness
• Kleene getting lazy
• Kleene under a modal demonic star
• Partial, total and general correctness
• Reasoning about loops in total and general correctness
• Relation-algebraic semantics
• Relational Methods in Computer Science
• Ternary Boolean algebra
• The Linear Algebra of UTP
• Unifying Recursion in Partial, Total and General Correctness

Cited in

(5)

• scientific article; zbMATH DE number 1487944 (Why is no real title available?)
• Multirelations with infinite computations
• General correctness algebra
• Unifying lazy and strict computations
• Algebras for iteration and infinite computations

This page was built for publication: Fixpoints for general correctness

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