swMATH2235MaRDI QIDQ14779FDOQ14779
Author name not available (Why is that?)
Official website: http://www.informatik.uni-bremen.de/cofi/wiki/index.php/CASL
Cited In (only showing first 100 items - show all)
- Strict coherence of conditional rewriting modulo axioms
- Modeling inheritance as coercion in a symbolic computation system
- Foundations of heterogeneous specification.
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Title not available (Why is that?)
- Institutional 2-cells and Grothendieck Institutions
- Title not available (Why is that?)
- 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
- Structural induction in institutions
- Observational logic, constructor-based logic, and their duality.
- Title not available (Why is that?)
- Title not available (Why is that?)
- One-path reachability logic
- Title not available (Why is that?)
- Foundations of Software Science and Computation Structures
- Mathematical Logic for Life Science Ontologies
- 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
- Structured theories and institutions
- Typed generic traversal with term rewriting strategies
- A computational framework for conceptual blending
- Matching logic
- Institutions for navigational logics for graphical structures
- Partial pushout semantics of generics in DOL
- A Theoretical Foundation for Programming Languages Aggregation
- Lambda expressions in Casl architectural specifications
- Title not available (Why is that?)
- Implicit propagation in structural operational semantics
- Amalgamation in the semantics of CASL
- Behavioral interface specification languages
- Title not available (Why is that?)
- Weak bisimulation as a congruence in MSOS
- 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
- Methods for proving termination of rewriting-based programming languages by transformation
- Theoretical Aspects of Computing – ICTAC 2005
- Dynamic logic with binders and its application to the development of reactive systems
- On the weaving process of aspect-oriented product family algebra
- Compositional modelling and reasoning in an institution for processes and data
- Property Preserving Refinement for Csp-Casl
- A coalgebraic approach to the semantics of the ambient calculus
- Tiling algebra for constraint-based layout editing
- Algebraic-coalgebraic specification in CoCASL
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generalized Theoroidal Institution Comorphisms
- Birkhoff style calculi for hybrid logics
- Recent Trends in Algebraic Development Techniques
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- Order-Sorted Parameterization and Induction
- Classifying categories for partial equational logic
- Fundamental Approaches to Software Engineering
- Atomic actions, and their refinements to isolated protocols
- Nonfree datatypes in Isabelle/HOL. Animating a many-sorted metatheory
- Categories of coalgebras with monadic homomorphisms
- Title not available (Why is that?)
- Title not available (Why is that?)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- Foundations of logic programming in hybrid logics with user-defined sharing
- Institutional semantics for many-valued logics
- A Maude environment for CafeOBJ
- Bootstrapping Types and Cotypes in HasCASL
- Borrowing interpolation
- A logical framework combining model and proof theory
- Operational termination of membership equational programs: the order-sorted way
- A scalable module system
- Foundations for structuring behavioural specifications
- Herbrand theorems in arbitrary institutions
- Proving operational termination of membership equational programs
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- Automated compositional proofs for real-time systems
- A proof theoretic interpretation of model theoretic hiding
- Towards logical frameworks in the heterogeneous tool set Hets
- Towards a unified theory of operational and axiomatic semantics
- From hoare logic to matching logic reachability
- Generalized interpolation in CASL
- An institution-independent proof of the Robinson consistency theorem
- A coalgebraic perspective on logical interpretations
- Modular structural operational semantics
- CASL: the Common Algebraic Specification Language.
- A semantic approach to interpolation
- Domain science and engineering from computer science to the sciences of informatics. II: Science
- Quasi-Boolean encodings and conditionals in algebraic specification
- HasCasl
- Title not available (Why is that?)
- Title not available (Why is that?)
- GenGED
- MAYA
- An institution-independent proof of Craig interpolation theorem
- IsaWin
- TAS
- OBJ3
- CIRC
- CafeOBJ
- Maude
This page was built for software: CASL
