The following pages link to CASL (Q14779):
Displaying 50 items.
- Functorial semantics of first-order views (Q344796) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- A scalable module system (Q391632) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Proof-guided test selection from first-order specifications with equality (Q616851) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Institution morphisms (Q699929) (← links)
- Structural induction in institutions (Q719243) (← links)
- Institutions for navigational logics for graphical structures (Q724928) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- On the weaving process of aspect-oriented product family algebra (Q898609) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- Saturated models in institutions (Q992038) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers (Q1416851) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- An institution-independent proof of Craig interpolation theorem (Q1876090) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- CASL reference manual. The complete documentation of the common algebraic specification language. (Q1881752) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- What is a logic translation? (Q1931306) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772) (← links)
