scientific article; zbMATH DE number 67020

MaRDI QIDQ4011708zbMATH OpenFDO

Authors Rudolf Berghammer, Peter Kempf, Gunther Schmidt, Thomas Ströhlein

Publication date 27 September 1992

zbMATH Keywords

partial correctnessprogram correctnessrelational algebrasemanticstotal correctness

Mathematics Subject Classification ID

Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Relation-algebraic semantics
• scientific article; zbMATH DE number 4181309
• scientific article; zbMATH DE number 3972168
• Relational algebraic semantics of deterministic and nondeterministic programs
• General correctness algebra

Cited in

(26)

• Algebraization of quantifier logics, an introductory overview
• Semantic models for total correctness and fairness
• A relation algebraic model of robust correctness
• Relation-algebraic semantics
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• First order logic without equality on relativized semantics
• Reflective programming in the relational algebra
• Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
• Program algebra over an algebra
• Algebra of monotonic Boolean transformers
• Multi-random relation and its applications
• scientific article; zbMATH DE number 4181309 (Why is no real title available?)
• scientific article; zbMATH DE number 4193139 (Why is no real title available?)
• scientific article; zbMATH DE number 3854395 (Why is no real title available?)
• Algebras of Relations and Relevance Logic
• scientific article; zbMATH DE number 3972168 (Why is no real title available?)
• scientific article; zbMATH DE number 3986619 (Why is no real title available?)
• scientific article; zbMATH DE number 4098735 (Why is no real title available?)
• scientific article; zbMATH DE number 1303447 (Why is no real title available?)
• scientific article; zbMATH DE number 1975420 (Why is no real title available?)
• An algebraic approach to temporal logic
• Software Development in Relation Algebra with Ampersand
• Relational and algebraic methods in computer science
• Completeness of a relational calculus for program schemes
• Algebraic proofs of consistency and completeness
• Relation-algebraic computation of fixed points with applications

This page was built for publication:

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