Behavioural reasoning for conditional equations

DOI10.1017/S0960129507006305MaRDI QIDQ5430141zbMATH OpenFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1314230
• scientific article; zbMATH DE number 1543338
• Publication:4503915
• Expressive logics for coalgebras via terminal sequence induction
• scientific article; zbMATH DE number 1753205

Cites work

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

Cited in

(9)

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

Describes a project that uses

Uses Software

• CafeOBJ

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

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