On the algebra of structured specifications
From MaRDI portal
Recommendations
- Algebraic foundations for specification refinements
- scientific article; zbMATH DE number 4219054
- scientific article; zbMATH DE number 1324839
- scientific article; zbMATH DE number 194509
- scientific article; zbMATH DE number 4129965
- 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
- A semantic approach to interpolation
- An institution-independent proof of Craig interpolation theorem
- An institution-independent proof of the Beth definability theorem
- An Oxford survey of order sorted algebra
- Axiomatizability in inclusive equational logics
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- CASL reference manual. The complete documentation of the common algebraic specification language.
- 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.
- 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?)
- 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
(28)- On normal forms for structured specifications with generating constraints
- Structured theories and institutions
- On the power of higher-order algebraic specification methods
- Introducing H, an institution-based formal specification and verification language
- Comorphisms of structured institutions
- Compatibility problems in the development of algebraic module specifications
- scientific article; zbMATH DE number 4129965 (Why is no real title available?)
- A Structure-Exploiting Tool in Algebraic Modeling Languages
- Functorial semantics of first-order views
- scientific article; zbMATH DE number 4164154 (Why is no real title available?)
- Structured Co-spans: An Algebra of Interaction Protocols
- scientific article; zbMATH DE number 3936495 (Why is no real title available?)
- Parameterisation for abstract structured specifications
- Foundations for structuring behavioural specifications
- Abstract and behaviour module specifications
- scientific article; zbMATH DE number 1324839 (Why is no real title available?)
- An axiomatic approach to structuring specifications
- scientific article; zbMATH DE number 1988995 (Why is no real title available?)
- scientific article; zbMATH DE number 1497815 (Why is no real title available?)
- scientific article; zbMATH DE number 1497880 (Why is no real title available?)
- On the existence of translations of structured specifications
- scientific article; zbMATH DE number 1368952 (Why is no real title available?)
- Algebraic specifications for domain theory
- CafeOBJ Traces
- Property-oriented semantics of structured specifications
- Preservation in many-valued truth institutions
- Computational modelling for combinatorial game strategies
- Non-deterministic algebraic rewriting as adjunction
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)
