Pages that link to "Item:Q1853453"

The following pages link to CASL: the Common Algebraic Specification Language. (Q1853453):

Displaying 47 items.

• Foundations for structuring behavioural specifications (Q406465) (← links)
• Architectural specifications in CASL (Q699927) (← 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)
• An encoding of partial algebras as total algebras (Q990084) (← links)
• Saturated models in institutions (Q992038) (← links)
• Typed generic traversal with term rewriting strategies (Q1394988) (← 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)
• Birkhoff style calculi for hybrid logics (Q1682285) (← links)
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
• Amalgamation in the semantics of CASL (Q1770431) (← links)
• A logic for the stepwise development of reactive systems (Q1786564) (← links)
• Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
• Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
• Modular structural operational semantics (Q1878712) (← links)
• CASL reference manual. The complete documentation of the common algebraic specification language. (Q1881752) (← links)
• Interpolation in Grothendieck institutions (Q1884940) (← links)
• Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← 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)
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
• Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
• CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
• Constructor-based observational logic (Q2369030) (← links)
• A formally grounded software specification method (Q2369031) (← links)
• Herbrand theorems in arbitrary institutions (Q2390213) (← links)
• Tiling algebra for constraint-based layout editing (Q2397041) (← links)
• Behavioural specification for hierarchical object composition (Q2571203) (← links)
• Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams (Q2671623) (← links)
• Implicit propagation in structural operational semantics (Q2810689) (← links)
• Classifying categories for partial equational logic (Q2842828) (← links)
• Implementing local intervals in CASL (Q2870328) (← links)
• Constructor-Based Institutions (Q2888501) (← links)
• Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
• Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
• Translating a Dependently-Typed Logic to First-Order Logic (Q3184740) (← links)
• Component-Based Security Policy Design with Colored Petri Nets (Q3184744) (← links)
• (Q4680193) (← links)
• Formal Modelling for Cooking Assistance (Q5256360) (← links)
• CafeOBJ Traces (Q5403067) (← links)
• Observational interpretation of Casl specifications (Q5458070) (← links)
• Recent Trends in Algebraic Development Techniques (Q5703996) (← links)
• Encoding hybridized institutions into first-order logic (Q5741578) (← links)
• Partialising institutions (Q6185812) (← links)