Refinement by Interpretation in a General Setting

DOI10.1016/j.entcs.2009.12.020zbMath1342.68091OpenAlexW2112648098MaRDI QIDQ2994492

Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira

Publication date: 1 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.12.020

zbMATH Keywords

refinementalgebraic specificationlogic interpretation

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ A coalgebraic perspective on logical interpretations ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Algebraic semantics for deductive systems
• What is a logic translation?
• Constructor-based observational logic
• Algebraizable logics
• Observational Refinement Process
• Behavioural reasoning for conditional equations
• Protoalgebraic logics
• Conservative translations

This page was built for publication: Refinement by Interpretation in a General Setting