Pages that link to "Item:Q1853458"

The following pages link to Relating CASL with other specification languages: the institution level. (Q1853458):

Displaying 20 items.

• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
• Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
• An encoding of partial algebras as total algebras (Q990084) (← links)
• Saturated models in institutions (Q992038) (← links)
• HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
• CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
• Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
• What is a logic translation? (Q1931306) (← links)
• Specifying with syntactic theory functors (Q2173439) (← links)
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS (Q2237342) (← 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)
• Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
• Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
• Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
• Abstract Beth definability in institutions (Q3410686) (← links)
• CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)
• An institutional approach to communicating UML state machines (Q6535554) (← links)