Refinement by Interpretation in a General Setting

DOI10.1016/J.ENTCS.2009.12.020MaRDI QIDQ2994492zbMATH OpenOpenAlexFDO

Authors Manuel A. Martins, Alexandre Madeira, L. S. Barbosa

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

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

Recommendations

• Understanding, Explaining, and Deriving Refinement
• Refining abstract interpretations
• On the expressiveness of refinement settings
• Automatically Refining Abstract Interpretations
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• A generalization of the Takeuti-Gandy interpretation
• scientific article; zbMATH DE number 1487481
• General refinement. I: Interfaces, determinism and special refinement
• scientific article; zbMATH DE number 1617299
• General refinement. II: Flexible refinement

Cites work

• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• Algebraic semantics for deductive systems
• Algebraizable logics
• Behavioural reasoning for conditional equations
• Conservative translations
• Constructor-based observational logic
• Foundations of algebraic specification and formal software development.
• Observational refinement process
• Protoalgebraic logics
• What is a logic translation?

Cited in

(9)

• Maximizing theory accuracy through selective reinterpretation
• Understanding, Explaining, and Deriving Refinement
• Hybrid specification of reactive systems: an institutional approach
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• A coalgebraic perspective on logical interpretations
• Observational refinement process
• An analysis of refinement in an abortive paradigm
• Refining abstract interpretations
• The role of logical interpretations in program development

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

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