An axiomatic approach to structuring specifications
From MaRDI portal
Publication:428861
DOI10.1016/J.TCS.2012.03.001zbMATH Open1279.68230OpenAlexW1976775061MaRDI QIDQ428861FDOQ428861
Authors: Răzvan Diaconescu 
Publication date: 25 June 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2012.03.001
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- A semantic account for modularity in multi-language modelling of search problems
- Foundations of algebraic specification and formal software development.
- Mathematical logic.
- Title not available (Why is that?)
- On pushout consistency, modularity and interpolation for logical specifications
- What is a logic translation?
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elementary Diagrams in Institutions
- Axiomatizability in inclusive equational logics
- Composing hidden information modules over inclusive institutions
- On the algebra of structured specifications
- An institution-independent proof of the Beth definability theorem
- Module algebra
- Specifications in an arbitrary institution
- Logical systems for structured specifications.
- Title not available (Why is that?)
- Weak inclusion systems
- Development graphs -- proof management for structured specifications
- On the existence of free models in abstract algebraic institutions
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- A simple algebraic proof of the equational interpolation theorem
- On a generalized modularization theorem
- An institution-independent proof of Craig interpolation theorem
- Interpolation in Grothendieck institutions
- Title not available (Why is that?)
- Abstract Beth definability in institutions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generalized interpolation in first order logic
- Generalized interpolation in CASL
- An institution-independent proof of the Robinson consistency theorem
Cited In (12)
- Foundations for structuring behavioural specifications
- Structural induction in institutions
- An Institution for Imperative RSL Specifications
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
- Property-oriented semantics of structured specifications
- On the existence of translations of structured specifications
- Specifying with syntactic theory functors
- Functorial semantics of first-order views
- Parameterisation for abstract structured specifications
- Functorial theory of parameterized specifications in a general specification framework
- Towards Complete Reasoning about Axiomatic Specifications
- Comorphisms of structured institutions
Uses Software
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)
