Refinement by Interpretation in a General Setting
From MaRDI portal
Publication:2994492
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)