The following pages link to (Q3906394):
Displaying 33 items.
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Abstract implementation of algebraic specifications in a temporal logic language (Q2277861) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- My ADT Shrine (Q2890319) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q4222853) (← links)
- (Q4222979) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- Unified Algebras and action semantics (Q5096140) (← links)
- First order data types and first order logic (Q5096240) (← links)
- Logic representation in LF (Q5096264) (← links)
- Detecting isomorphisms of modular specifications with diagrams (Q5096385) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)
