On the algebra of structured specifications
From MaRDI portal
Recommendations
- Algebraic foundations for specification refinements
- Publication:3365224
- Publication:4255593
- Publication:4692466
- Publication:3031906
- Publication:3345751
- Algebraic specifications for domain theory
- Structured algebraic specifications: A kernel language
- Proof systems for structured algebraic specifications: An overview
- Publication:3707383
Cites work
- scientific article; zbMATH DE number 4130339 (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 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- A semantic approach to interpolation
- An Oxford survey of order sorted algebra
- An institution-independent proof of Craig interpolation theorem
- An institution-independent proof of the Beth definability theorem
- Axiomatizability in inclusive equational logics
- CASL reference manual. The complete documentation of the common algebraic specification language.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Composing hidden information modules over inclusive institutions
- Elementary Algebraic Specifications of the Rational Complex Numbers
- Elementary Diagrams in Institutions
- Foundations of algebraic specification and formal software development.
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Logical systems for structured specifications.
- Module algebra
- On the existence of free models in abstract algebraic institutions
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Specifications in an arbitrary institution
- Weak inclusion systems
Cited in
(23)- A Structure-Exploiting Tool in Algebraic Modeling Languages
- scientific article; zbMATH DE number 1497880 (Why is no real title available?)
- Comorphisms of structured institutions
- Functorial semantics of first-order views
- Structured theories and institutions
- Algebraic specifications for domain theory
- scientific article; zbMATH DE number 4164154 (Why is no real title available?)
- Foundations for structuring behavioural specifications
- Preservation in many-valued truth institutions
- Parameterisation for abstract structured specifications
- scientific article; zbMATH DE number 4129965 (Why is no real title available?)
- scientific article; zbMATH DE number 1324839 (Why is no real title available?)
- scientific article; zbMATH DE number 3936495 (Why is no real title available?)
- On the power of higher-order algebraic specification methods
- On normal forms for structured specifications with generating constraints
- CafeOBJ Traces
- Structured Co-spans: An Algebra of Interaction Protocols
- An axiomatic approach to structuring specifications
- Compatibility problems in the development of algebraic module specifications
- On the existence of translations of structured specifications
- Property-oriented semantics of structured specifications
- scientific article; zbMATH DE number 1988995 (Why is no real title available?)
- Introducing \(H\), an institution-based formal specification and verification language
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)
