Fixed-point calculus
From MaRDI portal
Publication:674263
DOI10.1016/0020-0190(94)00195-5zbMath0875.68201OpenAlexW1857353355MaRDI QIDQ674263
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
Related Items
An algebraic hardware/software partitioning algorithm, Computing kernels in directed bichromatic graphs, Precise interprocedural dependence analysis of parallel programs, Normal design algebra, Categorical fixed point calculus, Algebraic notions of nontermination: Omega and divergence in idempotent semirings, Components and acyclicity of graphs. An exercise in combining precision with concision, A Relation-Algebraic Treatment of the Dedekind Recursion Theorem, The equational logic of fixed points, A calculational approach to mathematical induction, Games and winning strategies, An Algebraic Approach to Refinement with Fair Choice, Assertions and recursions, Concurrent Kleene algebra and its foundations, Algebras for iteration and infinite computations, Encoding fairness in a synchronous concurrent program algebra, Dual unbounded nondeterminacy, recursion, and fixpoints, An algebra of hybrid systems, Datatype-generic termination proofs, Modal algebra and Petri nets, Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures, Least reflexive points of relations, Kleene under a modal demonic star
Cites Work
