Behavioural reasoning for conditional equations

DOI10.1017/S0960129507006305zbMath1129.68025MaRDI QIDQ5430141

Manuel A. Martins, Don Pigozzi

Publication date: 12 December 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

equational specification logics

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ A coalgebraic perspective on logical interpretations ⋮ Abstract valuation semantics ⋮ A Mathematical Life ⋮ A short overview of Hidden Logic ⋮ Boolean product representations of algebras via binary polynomials ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Refinement by Interpretation in a General Setting ⋮ Observational Refinement Process

Uses Software

• CafeOBJ

Cites Work

• Behavioural theories and the proof of behavioural properties
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• A survey of abstract algebraic logic
• A hidden agenda
• Observational proofs by rewriting.
• Behavioural and abstractor specifications
• Hidden coinduction: behavioural correctness proofs for objects

This page was built for publication: Behavioural reasoning for conditional equations