Specifications in an arbitrary institution
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3837407 (Why is no real title available?)
- scientific article; zbMATH DE number 3642688 (Why is no real title available?)
- scientific article; zbMATH DE number 3124495 (Why is no real title available?)
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 3876564 (Why is no real title available?)
- scientific article; zbMATH DE number 3880083 (Why is no real title available?)
- scientific article; zbMATH DE number 3812932 (Why is no real title available?)
- scientific article; zbMATH DE number 3819086 (Why is no real title available?)
- scientific article; zbMATH DE number 3821094 (Why is no real title available?)
- scientific article; zbMATH DE number 3911689 (Why is no real title available?)
- scientific article; zbMATH DE number 3918620 (Why is no real title available?)
- scientific article; zbMATH DE number 4033040 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 3714981 (Why is no real title available?)
- scientific article; zbMATH DE number 3723836 (Why is no real title available?)
- scientific article; zbMATH DE number 3754008 (Why is no real title available?)
- scientific article; zbMATH DE number 3761372 (Why is no real title available?)
- scientific article; zbMATH DE number 3776831 (Why is no real title available?)
- scientific article; zbMATH DE number 3529404 (Why is no real title available?)
- scientific article; zbMATH DE number 3581594 (Why is no real title available?)
- scientific article; zbMATH DE number 3582349 (Why is no real title available?)
- scientific article; zbMATH DE number 3635529 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Algebraic and operational semantics of specifications allowing exceptions and errors
- Algebraic implementation of abstract data types
- Axioms for abstract model theory
- CLU reference manual
- Characterizing specification languages which admit initial semantics
- Completeness of Proof Systems for Equational Specifications
- Equational partiality
- Final Data Types and Their Specification
- Final algebra semantics and data type extensions
- Formal specification of a display-oriented text editor
- On observational equivalence and algebraic specification
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- On the existence of free models in abstract algebraic institutions
- Partial abstract types
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
- Quasi-varieties in abstract algebraic institutions
- Report on the Larch shared language
- Semantics of computation
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Structured algebraic specifications: A kernel language
- The Birkhoff variety theorem for continuous algebras
- Why Horn formulas matter in computer science: initial structures and generic examples
Cited in
(89)- Relations as abstract datatypes: An institution to specify relations between algebras
- A semantic approach to interpolation
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- scientific article; zbMATH DE number 1617302 (Why is no real title available?)
- Development graphs -- proof management for structured specifications
- Amalgamation in the semantics of CASL
- Comorphisms of structured institutions
- Parchments for CafeOBJ logics
- What Is a derived signature morphism?
- Constructor-based observational logic
- Observational logic, constructor-based logic, and their duality.
- Structured theories and institutions
- Composition of default specifications
- Implicit Partiality of Signature Morphisms in Institution Theory
- Generic constructions for behavioral specifications
- The distributed ontology, modeling and specification language -- DOL
- Generalized interpolation in CASL
- Essential concepts of algebraic specification and program development
- scientific article; zbMATH DE number 1617308 (Why is no real title available?)
- Logical systems for structured specifications.
- May I borrow your logic? (Transporting logical structures along maps)
- scientific article; zbMATH DE number 683360 (Why is no real title available?)
- Foundations for structuring behavioural specifications
- Program specification and data refinement in type theory
- A proof theoretic interpretation of model theoretic hiding
- Grothendieck inclusion systems
- On the correctness of modular systems
- Modularising the specification of a small database system in extended ML
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
- An institution-independent proof of the Robinson consistency theorem
- A categorical study on the finiteness of specifications
- Parameterisation for abstract structured specifications
- Quasi-Boolean encodings and conditionals in algebraic specification
- Logic representation in LF
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- Category-based modularisation for equational logic programming
- Herbrand theorems in arbitrary institutions
- Institutions for navigational logics for graphical structures
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Proof systems for structured specifications with observability operators
- Unified algebras and action semantics
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- On institutions for modular coalgebraic specifications.
- Saturated models in institutions
- On the algebra of structured specifications
- An axiomatic approach to structuring specifications
- scientific article; zbMATH DE number 3880083 (Why is no real title available?)
- Compositional term rewriting: An algebraic proof of Toyama's theorem
- scientific article; zbMATH DE number 4097351 (Why is no real title available?)
- Compositional modelling and reasoning in an institution for processes and data
- Observational interpretation of Casl specifications
- Structured theory presentations and logic representations
- Interpolation and compactness in categories of pre-institutions
- A scalable module system
- CASL: the Common Algebraic Specification Language.
- Interpolation in Grothendieck institutions
- Temporal theories as modularisation units for concurrent system specification
- Structural induction in institutions
- On the existence of free models in abstract algebraic institutions
- On the existence of translations of structured specifications
- Principles of proof scores in CafeOBJ
- Relating CASL with other specification languages: the institution level.
- Institutions for SQL database schemas and datasets
- Term charters
- Structure-preserving diagram operators
- An Institution for Imperative RSL Specifications
- Semantics of multiway dataflow constraint systems
- Partialising institutions
- Modularity of ontologies in an arbitrary institution
- An institution for graph transformation
- scientific article; zbMATH DE number 1522144 (Why is no real title available?)
- scientific article; zbMATH DE number 1525070 (Why is no real title available?)
- Specifying with syntactic theory functors
- An institution for Object-Z with inheritance and polymorphism
- Formalism and method
- Building Specifications in the Event-B Institution
- Ultraproducts and possible worlds semantics in institutions
- (Heterogeneous) structured specifications in logics without interpolation
- On Automation of OTS/CafeOBJ Method
- Heterogeneous Logical Environments for Distributed Specifications
- Generalised graded interpolation
- scientific article; zbMATH DE number 1555491 (Why is no real title available?)
- The foundational legacy of ASL
- Equivalences among various logical frameworks of partial algebras
- SpeX: a rewriting-based formal specification environment
- A navigational logic for reasoning about graph properties
- Property-oriented semantics of structured specifications
- Proving correctness w.r.t. specifications with hidden parts
This page was built for publication: Specifications in an arbitrary institution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1108775)
