Refinement by Interpretation in a General Setting
DOI10.1016/J.ENTCS.2009.12.020zbMATH Open1342.68091OpenAlexW2112648098MaRDI QIDQ2994492FDOQ2994492
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
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)
Cites Work
- Algebraizable logics
- Protoalgebraic logics
- Foundations of algebraic specification and formal software development.
- Algebraic semantics for deductive systems
- What is a logic translation?
- Title not available (Why is that?)
- Behavioural reasoning for conditional equations
- Title not available (Why is that?)
- Conservative translations
- Title not available (Why is that?)
- Constructor-based observational logic
- Observational refinement process
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)
