Fixed-point calculus

DOI10.1016/0020-0190(94)00195-5MaRDI QIDQ674263zbMATHOpenAlexFDO

Authors Mathematics of Program Construction Group

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(94)00195-5

zbMATH Keywords

Theory of computationProgram derivationProgramming calculi

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 2087342
• scientific article; zbMATH DE number 3995637
• The equational logic of fixed points
• Fixed point theory

Cites work

• scientific article; zbMATH DE number 482779 (Why is no real title available?)
• Regular Algebra Applied to Path-finding Problems

Cited in

(28)

• Components and acyclicity of graphs. An exercise in combining precision with concision
• Least reflexive points of relations
• Fixed point theory
• A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
• Computing kernels in directed bichromatic graphs
• Dual unbounded nondeterminacy, recursion, and fixpoints
• Modal algebra and Petri nets
• Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
• Games and winning strategies
• A calculational approach to mathematical induction
• The equational logic of fixed points
• scientific article; zbMATH DE number 1095971 (Why is no real title available?)
• An algebraic hardware/software partitioning algorithm
• scientific article; zbMATH DE number 2087342 (Why is no real title available?)
• On the fixed points of certain types of functions for constructing associated calculi
• Encoding fairness in a synchronous concurrent program algebra
• An algebraic approach to refinement with fair choice
• Algebraic notions of nontermination: Omega and divergence in idempotent semirings
• scientific article; zbMATH DE number 4068249 (Why is no real title available?)
• Datatype-generic termination proofs
• Normal design algebra
• Categorical fixed point calculus
• Precise interprocedural dependence analysis of parallel programs
• An algebra of hybrid systems
• Concurrent Kleene algebra and its foundations
• Kleene under a modal demonic star
• Algebras for iteration and infinite computations
• Assertions and recursions

This page was built for publication: Fixed-point calculus

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