Pages that link to "Item:Q1108775"

The following pages link to Specifications in an arbitrary institution (Q1108775):

Displaying 50 items.

• Parameterisation for abstract structured specifications (Q387996) (← links)
• A scalable module system (Q391632) (← links)
• Foundations for structuring behavioural specifications (Q406465) (← links)
• An axiomatic approach to structuring specifications (Q428861) (← links)
• On the existence of translations of structured specifications (Q458375) (← links)
• On the algebra of structured specifications (Q549182) (← links)
• Grothendieck inclusion systems (Q657588) (← links)
• On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
• On the correctness of modular systems (Q674009) (← links)
• Structural induction in institutions (Q719243) (← links)
• Institutions for navigational logics for graphical structures (Q724928) (← links)
• Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
• Generalized interpolation in CASL (Q851912) (← links)
• An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
• A categorical study on the finiteness of specifications (Q975404) (← links)
• Saturated models in institutions (Q992038) (← links)
• A semantic approach to interpolation (Q1006639) (← links)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
• Modularising the specification of a small database system in extended ML (Q1184686) (← links)
• Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
• Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
• Structured theory presentations and logic representations (Q1326777) (← links)
• Essential concepts of algebraic specification and program development (Q1377322) (← links)
• May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
• Proof systems for structured specifications with observability operators (Q1391730) (← links)
• On institutions for modular coalgebraic specifications. (Q1603816) (← links)
• Amalgamation in the semantics of CASL (Q1770431) (← links)
• CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
• Logical systems for structured specifications. (Q1853454) (← links)
• Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
• Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
• Structured theories and institutions (Q1884906) (← links)
• Interpolation in Grothendieck institutions (Q1884940) (← links)
• Category-based modularisation for equational logic programming (Q1901708) (← links)
• Principles of proof scores in CafeOBJ (Q1929233) (← links)
• Formalism and method (Q1978639) (← links)
• A navigational logic for reasoning about graph properties (Q1996850) (← links)
• Semantics of multiway dataflow constraint systems (Q2043794) (← links)
• Generalised graded interpolation (Q2105608) (← links)
• Specifying with syntactic theory functors (Q2173439) (← links)
• Institutions for SQL database schemas and datasets (Q2185885) (← links)
• Structure-preserving diagram operators (Q2237343) (← links)
• Constructor-based observational logic (Q2369030) (← links)
• Development graphs -- proof management for structured specifications (Q2369033) (← links)
• Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
• Herbrand theorems in arbitrary institutions (Q2390213) (← links)
• Comorphisms of structured institutions (Q2445331) (← links)
• A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
• An Institution for Graph Transformation (Q2890329) (← links)
• Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)