Pages that link to "Item:Q4302820"
From MaRDI portal
The following pages link to Institutions: abstract model theory for specification and programming (Q4302820):
Displayed 50 items.
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- A model of reasoning about knowledge (Q1286688) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Institutions for logic programming (Q1391732) (← links)
- A hidden agenda (Q1575735) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← 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)
- Semantics of temporal classes (Q1854386) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Putting consistent theories together in institutions (Q1894329) (← links)
- Institutions of variable truth values: An approach in the ordered style (Q1894330) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Formalism and method (Q1978639) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Quantifier-free logic for nondeterministic theories (Q2369014) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Piecewise initial algebra semantics (Q2461761) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)