Specifications in an Arbitrary Institution

No abstract is available for this paper.

• Publication year

  1988

• Venue

  Information and Computation

• Publication date

  1988-02-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/0890-5401(88)90008-9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples

  1987cited by this paper
• Initial Computability, Algebraic Specifications, and Partial Algebras

  1987cited by this paper
• Many-sorted theories and their algebras with some applications to data types

  1986cited by this paper
• Structured Algebraic Specifications: A Kernel Language

  1986cited by this paper
• Quasi-varieties in Abstract Algebraic Institutions

  1986cited by this paper
• Continuous abstract data types: basic machinery and results

  1985cited by this paper
• Completeness of Proof Systems for Equational Specifications

  1985cited by this paper
• Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples (Extended Abstract)

  1985cited by this paper
• Program specification and development in standard ML

  1985cited by this paper
• The Birkhoff Variety Theorem for continuous algebras

  1985cited by this paper
• On Observational Equivalence and Algebraic Specification

  1985cited by this paper
• On the Existence of Free Models in Abstract Algebraic Institutuons

  1985cited by this paper
• CLU Reference Manual

  1984cited by this paper
• Free Constructions in Algebraic Institutions

  1984cited by this paper
• A proposal for standard ML

  1984cited by this paper
• Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories

  1984cited by this paper
• Building Specifications in an Arbitrary Institution

  1984cited by this paper
• Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories

  1984cited by this paper
• Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors

  1984cited by this paper
• Algebraic Specifications with Generating Constraints

  1983cited by this paper
• ACT ONE - An Algebraic Specification Language with two Levels of Semantics

  1983cited by this paper
• Introducing Institutions

  1983cited by this paper
• Final Data Types and Their Specification

  1983cited by this paper
• Structured Theories in LCF

  1983cited by this paper
• Characterizing Specification Languages which Admit Initial Semantics

  1983cited by this paper
• PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE

  1983cited by this paper
• A Kernel Language for Algebraic Specification and Implementation

  1983cited by this paper
• Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebras

  1982cited by this paper
• Universal Realization, Persistent Interconnection and Implementation of Abstract Modules

  1982cited by this paper
• Algebraic Implementation of Abstract Data Types

  1982cited by this paper
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types

  1982cited by this paper
• Formal Specification of a Display-Oriented Text Editor

  1982cited by this paper
• On the Power of Algebraic Specifications

  1981cited by this paper
• I/O-computable data structures

  1981cited by this paper
• The specification language Z

  1980cited by this paper
• Parameterized Data Types in Algebraic Specification Languages (Short Version)

  1980cited by this paper
• The Semantics of CLEAR, A Specification Language

  1979cited by this paper
• Final Algebra Semantics and Data Type Extensions

  1979cited by this paper
• Current trends in programming methodology

  1977cited by this paper
• Programming language constructs for which it is impossible to obtain good hoare-like axiom systems

  1977cited by this paper
• Abstract Errors for Abstract Data Types

  1977cited by this paper
• Observability Concepts in Abstract Data Type Specifications

  1976cited by this paper
• Arrows, Structures, and Functors: The Categorical Imperative

  1975cited by this paper
• Axioms for abstract model theory

  1974cited by this paper
• Categories for the Working Mathematician

  1971cited by this paper
• Gedanken-Experiments on Sequential Machines

  1956cited by this paper

• Institution-independent Model Theory

  2025cites this paper
• Proof Scores: A Survey

  2025cites this paper
• Computational Modelling for Combinatorial Game Strategies

  2024cites this paper
• Translation structures for fuzzy model theory

  2024cites this paper
• Concepts of Interpolation in Stratified Institutions

  2023cites this paper
• Generalised graded interpolation

  2022cites this paper
• Integrating deduction and model finding in a language independent setting

  2022cites this paper
• Decompositions of stratified institutions

  2022cites this paper
• Building Specifications in the Event-B Institution

  2021cites this paper
• Decompositions of Stratified Institutions

  2021cites this paper
• A navigational logic for reasoning about graph properties

  2021cites this paper
• Implicit Partiality of Signature Morphisms in Institution Theory

  2021cites this paper
• Structure-Preserving Diagram Operators

  2020cites this paper
• Specifying with syntactic theory functors

  2020cites this paper
• Forcing and Calculi for Hybrid Logics

  2020cites this paper
• Semantics of multiway dataflow constraint systems

  2020cites this paper
• Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

  2019cites this paper
• The Heterogeneous Tool Set — some recent developments and highlights

  2018cites this paper
• L O ] 1 0 N ov 2 01 7 Generic partiality for 3 2-institutions

  2018cites this paper
• Institutions for SQL Database Schemas and Datasets

  2018cites this paper
• Heterogeneous) Structured Specifications in Logics Without Interpolation

  2018cites this paper
• On Normal Forms for Structured Specifications with Generating Constraints

  2018cites this paper
• Institutions for navigational logics for graphical structures

  2018influential citation
• Recent Trends in Algebraic Development Techniques

  2018cites this paper
• 3/2-Institutions: an institution theory for conceptual blending

  2017cites this paper
• Explorer Parchments for CafeOBJ Logics

  2017cites this paper
• Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors

  2017cites this paper
• Entailment for Structured Specifications

  2017cites this paper
• Selecting Colimits for Parametrisation and Networks of Specifications

  2017cites this paper
• Canonical Selection of Colimits

  2016cites this paper
• Explorer A Kernel Specification Formalism with Higher-Order Parameterisation

  2016cites this paper
• Heterogeneous verification in the context of model driven engineering

  2016cites this paper
• Recent Trends in Algebraic Development Techniques

  2016cites this paper
• The Distributed Ontology, Model and Specification Language – DOL

  2015cites this paper
• D 3 . 2 Extended Heterogeneous KR & R Framework for Concept Invention

  2015cites this paper
• Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation

  2015cites this paper
• An Institution for Object-Z with Inheritance and Polymorphism

  2015cites this paper
• On the existence of translations of structured specifications

  2015influential citation
• Initial semantics in logics with constructors

  2015cites this paper
• Modularity of Ontologies in an Arbitrary Institution

  2015cites this paper
• The Foundational Legacy of ASL

  2015cites this paper
• From conventional to institution-independent logic programming

  2015cites this paper
• A Relatively Complete Calculus for Structured Heterogeneous Specifications

  2014cites this paper
• On Automation of OTS/CafeOBJ Method

  2014cites this paper
• Parchments for CafeOBJ Logics

  2014cites this paper
• Răzvan Diaconescu, Institution-independent Model Theory

  2014cites this paper
• Parameterisation for abstract structured specifications

  2014cites this paper
• Foundations for structuring behavioural specifications

  2014cites this paper
• Parameterisation for abstract structured specifications

  2014cites this paper
• Unifying theories of logics with undefinedness

  2014cites this paper
• Comorphisms of structured institutions

  2013cites this paper
• Interpolation in logics with constructors

  2013cites this paper
• Max-planck-institut F ¨ Ur Informatik Metalogical Frameworks I N F O R M a T I K Authors' Addresses Publication Notes

  2013cites this paper
• Property-oriented semantics of structured specifications†

  2013influential citation
• Institutional semantics for many-valued logics

  2013cites this paper
• Institution Morphisms

  2013cites this paper
• Comorphisms of structured institutions

  2013cites this paper
• Interpolation in logics with constructors

  2013cites this paper
• Principles of proof scores in CafeOBJ

  2012cites this paper
• Three Decades of Institution Theory

  2012cites this paper
• Semantics of the Distributed Ontology Language: Institutes and Institutions

  2012influential citation
• An axiomatic approach to structuring specifications

  2012cites this paper
• Borrowing interpolation

  2012cites this paper
• Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics

  2012cites this paper
• Foundations of Algebraic Specification and Formal Software Development

  2012cites this paper
• Structured specification with processes and data: theory, tools and applications

  2012cites this paper
• Architectural refinement in Hets

  2012cites this paper
• Grothendieck Inclusion Systems

  2011cites this paper
• Interpolation for predefined types

  2011cites this paper
• Generic refinements for behavioral specifications

  2011cites this paper
• Structural induction in institutions

  2011cites this paper
• The Onto-Logical Translation Graph

  2011cites this paper
• On the algebra of structured specifications

  2011cites this paper
• A scalable module system

  2011cites this paper
• Refinement by interpretation in π-institutions

  2011cites this paper
• Quasi-boolean encodings and conditionals in algebraic specification

  2010cites this paper
• A Proof Theoretic Interpretation of Model Theoretic Hiding

  2010cites this paper
• Saturated models in institutions

  2010cites this paper
• A heterogeneous approach to service-oriented systems specification

  2010cites this paper
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

  2010cites this paper
• An Institution for Graph Transformation

  2010cites this paper
• Compositional Modelling and Reasoning in an Institution for Processes and Data

  2010cites this paper
• Complete Calculi for Structured Specifications in Fork Algebra

  2010cites this paper
• A practical module system for LF

  2009cites this paper
• Heterogeneous Logical Environments for Distributed Specifications

  2009influential citation
• Conservativity in Structured Ontologies

  2008cites this paper
• Logics of Specification Languages

  2008cites this paper
• Heterogeneous colimits

  2008cites this paper
• Conservativity in Structured and Heterogeneous Ontologies

  2008cites this paper
• A categorical study on the finiteness of specifications

  2008cites this paper
• Observability Concepts in Abstract Data Type Specification, 30 Years Later

  2008cites this paper
• Observational interpretation of Casl specifications

  2008cites this paper
• A Methodological Guide to the CafeOBJ Logic

  2008cites this paper
• Ultraproducts and possible worlds semantics in institutions

  2007cites this paper
• C++ concepts as institutions: a specification view on concepts

  2007cites this paper
• Modules in Transition - Conservativity, Composition, and Colimits

  2007cites this paper
• The Microcosm Principle and Concurrency in Coalgebras

  2007cites this paper
• An Institution-Independent Proof of the Robinson Consistency Theorem

  2007cites this paper
• Maude's module algebra

  2007cites this paper
• An Institutional View on Categorical Logic

  2007cites this paper