CASL

swMATH2235MaRDI QIDQ14779FDOQ14779

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• A logical framework combining model and proof theory
• Strict coherence of conditional rewriting modulo axioms
• A scalable module system
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Foundations for structuring behavioural specifications
• Institutional 2-cells and Grothendieck Institutions
• Herbrand theorems in arbitrary institutions
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Automating Algebraic Specifications of Non-freely Generated Data Types
• Proving operational termination of membership equational programs
• Structural induction in institutions
• A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
• Title not available (Why is that?)
• Automated compositional proofs for real-time systems
• Title not available (Why is that?)
• Mathematical Logic for Life Science Ontologies
• Structured theories and institutions
• Typed generic traversal with term rewriting strategies
• Institutions for navigational logics for graphical structures
• Partial pushout semantics of generics in DOL
• Generalized interpolation in CASL
• An institution-independent proof of the Robinson consistency theorem
• Recent Trends in Algebraic Development Techniques
• A Theoretical Foundation for Programming Languages Aggregation
• A coalgebraic perspective on logical interpretations
• Title not available (Why is that?)
• Modular structural operational semantics
• CASL: the Common Algebraic Specification Language.
• A semantic approach to interpolation
• Implicit propagation in structural operational semantics
• Behavioral interface specification languages
• Domain science and engineering from computer science to the sciences of informatics. II: Science
• Title not available (Why is that?)
• Integrating Maude into Hets
• Automated flaw detection in algebraic specifications
• Proof-guided test selection from first-order specifications with equality
• Quasi-Boolean encodings and conditionals in algebraic specification
• Methods for proving termination of rewriting-based programming languages by transformation
• Title not available (Why is that?)
• Theoretical Aspects of Computing – ICTAC 2005
• Title not available (Why is that?)
• An institution-independent proof of Craig interpolation theorem
• Interpolation in Grothendieck institutions
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• A Proof Theoretic Interpretation of Model Theoretic Hiding
• Towards Logical Frameworks in the Heterogeneous Tool Set Hets
• Algebraic Methodology and Software Technology
• Institution morphisms
• Property Preserving Refinement for Csp-Casl
• An encoding of partial algebras as total algebras
• Theorem Proving in Higher Order Logics
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• A coalgebraic approach to the semantics of the ambient calculus
• Towards a Unified Theory of Operational and Axiomatic Semantics
• Mathematical Knowledge Management
• Mechanizing Mathematical Reasoning
• Swinging types=functions+relations+transition systems
• Functorial semantics of first-order views
• Algebraic-coalgebraic specification in CoCASL
• Parameterisation for abstract structured specifications
• Operational Termination of Membership Equational Programs: the Order-Sorted Way
• Generalized Theoroidal Institution Comorphisms
• HasCasl: integrated higher-order specification and program development
• What is a logic translation?
• Weak Bisimulation as a Congruence in MSOS
• Atomic actions, and their refinements to isolated protocols
• Title not available (Why is that?)
• Saturated models in institutions
• Matching Logic
• One-Path Reachability Logic
• A logic for the stepwise development of reactive systems
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
• From Hoare Logic to Matching Logic Reachability
• Abstract Beth definability in institutions
• Monad-independent Dynamic Logic in HasCasl
• Relating CASL with other specification languages: the institution level.
• A Maude environment for CafeOBJ
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• The role of logical interpretations in program development
• Title not available (Why is that?)
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Nonfree Datatypes in Isabelle/HOL
• Modeling inheritance as coercion in a symbolic computation system
• Categories of Coalgebras with Monadic Homomorphisms
• Title not available (Why is that?)
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Title not available (Why is that?)
• Observational logic, constructor-based logic, and their duality.
• Title not available (Why is that?)
• Foundations of Software Science and Computation Structures
• Title not available (Why is that?)
• Jewels of Institution-Independent Model Theory
• Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Diagram combinators in MMT
• Manipulating algebraic specifications with term-based and graph-based representations
• A computational framework for conceptual blending
• Morphism axioms
• First-Order Logic with Dependent Types

This page was built for software: CASL