Pages that link to "Item:Q1881752"

The following pages link to CASL reference manual. The complete documentation of the common algebraic specification language. (Q1881752):

Displaying 50 items.

• Functorial semantics of first-order views (Q344796) (← links)
• Parameterisation for abstract structured specifications (Q387996) (← links)
• A scalable module system (Q391632) (← links)
• A Maude environment for CafeOBJ (Q520244) (← links)
• On the algebra of structured specifications (Q549182) (← links)
• Proof-guided test selection from first-order specifications with equality (Q616851) (← links)
• Automated flaw detection in algebraic specifications (Q616853) (← links)
• Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
• Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
• CoFI with Don Sannella (Q724933) (← links)
• Partial pushout semantics of generics in DOL (Q724938) (← links)
• A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
• HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
• A Larch shared language handbook (Q1067768) (← 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)
• A computational framework for conceptual blending (Q1748468) (← links)
• CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
• What is a logic translation? (Q1931306) (← links)
• Semantics of multiway dataflow constraint systems (Q2043794) (← links)
• Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
• Specifying with syntactic theory functors (Q2173439) (← links)
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS (Q2237342) (← links)
• Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
• Constructor-based observational logic (Q2369030) (← links)
• A formally grounded software specification method (Q2369031) (← links)
• Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
• Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
• Implicit propagation in structural operational semantics (Q2810689) (← links)
• Implementing local intervals in CASL (Q2870328) (← links)
• My ADT Shrine (Q2890319) (← links)
• Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation (Q2890325) (← links)
• Lambda Expressions in Casl Architectural Specifications (Q2890326) (← links)
• A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
• Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
• Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
• Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
• Integrating Maude into Hets (Q3067467) (← links)
• Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
• Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
• Order-Sorted Parameterization and Induction (Q3184745) (← links)
• ASP, Amalgamation, and the Conceptual Blending Workflow (Q3449215) (← links)
• Dependently Sorted Logic (Q3499748) (← links)
• Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
• On the interpretation of mathematical entities in the formalisation of programming and modelling languages (Q3545271) (← links)
• Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
• Building Specifications in the Event-B Institution (Q5060190) (← links)
• An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
• Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
• An Institution for Imperative RSL Specifications (Q5403080) (← links)