On the algebra of structured specifications
From MaRDI portal
Publication:549182
DOI10.1016/J.TCS.2011.04.008zbMATH Open1252.68199OpenAlexW1968752495MaRDI QIDQ549182FDOQ549182
Publication date: 7 July 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.008
Recommendations
- Algebraic foundations for specification refinements
- scientific article
- scientific article; zbMATH DE number 1324839
- scientific article; zbMATH DE number 194509
- scientific article
- scientific article; zbMATH DE number 3880080
- Algebraic specifications for domain theory
- Structured algebraic specifications: A kernel language
- Proof systems for structured algebraic specifications: An overview
- scientific article; zbMATH DE number 3936495
Cites Work
- Title not available (Why is that?)
- 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?)
- Title not available (Why is that?)
- Foundations of algebraic specification and formal software development.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Title not available (Why is that?)
- Elementary Diagrams in Institutions
- Axiomatizability in inclusive equational logics
- Composing Hidden Information Modules over Inclusive Institutions
- An institution-independent proof of the Beth definability theorem
- Module algebra
- Specifications in an arbitrary institution
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Logical systems for structured specifications.
- Title not available (Why is that?)
- An Oxford survey of order sorted algebra
- Weak inclusion systems
- Elementary Algebraic Specifications of the Rational Complex Numbers
- On the existence of free models in abstract algebraic institutions
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- An institution-independent proof of Craig interpolation theorem
- A semantic approach to interpolation
Cited In (21)
- Algebraic specifications for domain theory
- Foundations for structuring behavioural specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- CafeOBJ Traces
- Structured theories and institutions
- Title not available (Why is that?)
- On the power of higher-order algebraic specification methods
- Compatibility problems in the development of algebraic module specifications
- On the existence of translations of structured specifications
- Title not available (Why is that?)
- Preservation in many-valued truth institutions
- Functorial semantics of first-order views
- Parameterisation for abstract structured specifications
- An axiomatic approach to structuring specifications
- Introducing \(H\), an institution-based formal specification and verification language
- Structured Co-spans: An Algebra of Interaction Protocols
- A Structure-Exploiting Tool in Algebraic Modeling Languages
- Title not available (Why is that?)
- Comorphisms of structured institutions
Uses Software
This page was built for publication: On the algebra of structured specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549182)
