An axiomatic approach to structuring specifications
From MaRDI portal
Recommendations
Cites work
- A semantic account for modularity in multi-language modelling of search problems
- A simple algebraic proof of the equational interpolation theorem
- Abstract Beth definability in institutions
- An institution-independent proof of Craig interpolation theorem
- An institution-independent proof of the Beth definability theorem
- An institution-independent proof of the Robinson consistency theorem
- Axiomatizability in inclusive equational logics
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Composing hidden information modules over inclusive institutions
- Development graphs -- proof management for structured specifications
- Elementary Diagrams in Institutions
- Foundations of algebraic specification and formal software development.
- Generalized interpolation in CASL
- Generalized interpolation in first order logic
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 4180831 (Why is no real title available?)
- scientific article; zbMATH DE number 4037182 (Why is no real title available?)
- scientific article; zbMATH DE number 4097351 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 44668 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 872094 (Why is no real title available?)
- scientific article; zbMATH DE number 2196612 (Why is no real title available?)
- scientific article; zbMATH DE number 3199779 (Why is no real title available?)
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Interpolation in Grothendieck institutions
- Logical systems for structured specifications.
- Mathematical logic.
- Module algebra
- On a generalized modularization theorem
- On pushout consistency, modularity and interpolation for logical specifications
- On the algebra of structured specifications
- On the existence of free models in abstract algebraic institutions
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Specifications in an arbitrary institution
- Weak inclusion systems
- What is a logic translation?
Cited in
(13)- Functorial theory of parameterized specifications in a general specification framework
- Specifying with syntactic theory functors
- Comorphisms of structured institutions
- Towards Complete Reasoning about Axiomatic Specifications
- Functorial semantics of first-order views
- Parameterisation for abstract structured specifications
- Foundations for structuring behavioural specifications
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
- scientific article; zbMATH DE number 1497815 (Why is no real title available?)
- On the existence of translations of structured specifications
- An Institution for Imperative RSL Specifications
- Property-oriented semantics of structured specifications
- Structural induction in institutions
This page was built for publication: An axiomatic approach to structuring specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q428861)
