Fixpoints for general correctness

DOI10.1016/J.JLAP.2011.04.004zbMATH Open1216.68073OpenAlexW1974600686WikidataQ128988566 ScholiaQ128988566MaRDI QIDQ549677FDOQ549677

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

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

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)

Cites Work

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

Cited In (5)

• Multirelations with infinite computations
• Algebras for iteration and infinite computations
• General correctness algebra
• Title not available (Why is that?)
• Unifying lazy and strict 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)