CASL
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Borrowing interpolation
- Behavioural specification for hierarchical object composition
- A logical framework combining model and proof theory
- Operational termination of membership equational programs: the order-sorted way
- Strict coherence of conditional rewriting modulo axioms
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- A scalable module system
- Modeling inheritance as coercion in a symbolic computation system
- Building a Modal Interface Theory for Concurrency and Data
- Untyping typed algebras and colouring cyclic linear logic
- Foundations for structuring behavioural specifications
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Foundations of heterogeneous specification.
- scientific article; zbMATH DE number 2087440 (Why is no real title available?)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Structural induction in institutions
- Herbrand theorems in arbitrary institutions
- scientific article; zbMATH DE number 2087420 (Why is no real title available?)
- Proving operational termination of membership equational programs
- scientific article; zbMATH DE number 1754650 (Why is no real title available?)
- Institutional 2-cells and Grothendieck Institutions
- Automating Algebraic Specifications of Non-freely Generated Data Types
- Observational logic, constructor-based logic, and their duality.
- scientific article; zbMATH DE number 1956498 (Why is no real title available?)
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- Automated compositional proofs for real-time systems
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- scientific article; zbMATH DE number 2086653 (Why is no real title available?)
- An Institution for Imperative RSL Specifications
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- scientific article; zbMATH DE number 1693526 (Why is no real title available?)
- scientific article; zbMATH DE number 2086587 (Why is no real title available?)
- One-path reachability logic
- scientific article; zbMATH DE number 1863367 (Why is no real title available?)
- scientific article; zbMATH DE number 2079679 (Why is no real title available?)
- CafeOBJ Traces
- scientific article; zbMATH DE number 1693525 (Why is no real title available?)
- Mathematical Logic for Life Science Ontologies
- Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers
- Algebraic Methodology and Software Technology
- Foundations of Software Science and Computation Structures
- scientific article; zbMATH DE number 2186295 (Why is no real title available?)
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Structured theories and institutions
- Jewels of Institution-Independent Model Theory
- Typed generic traversal with term rewriting strategies
- Diagram combinators in MMT
- Manipulating algebraic specifications with term-based and graph-based representations
- A computational framework for conceptual blending
- Morphism axioms
- Hybrid specification of reactive systems: an institutional approach
- First-Order Logic with Dependent Types
- Institutions for navigational logics for graphical structures
- Partial pushout semantics of generics in DOL
- Matching logic
- CSP-CASL-Prover: a generic tool for process and data refinement
- 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
- Global semantic typing for inductive and coinductive computing
- An institution for Object-Z with inheritance and polymorphism
- A coalgebraic perspective on logical interpretations
- A Theoretical Foundation for Programming Languages Aggregation
- Modular structural operational semantics
- Lambda expressions in Casl architectural specifications
- A semantic approach to interpolation
- CASL: the Common Algebraic Specification Language.
- scientific article; zbMATH DE number 2079668 (Why is no real title available?)
- scientific article; zbMATH DE number 2079674 (Why is no real title available?)
- scientific article; zbMATH DE number 1929964 (Why is no real title available?)
- scientific article; zbMATH DE number 1617309 (Why is no real title available?)
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
- A formally grounded software specification method
- Implicit propagation in structural operational semantics
- Amalgamation in the semantics of CASL
- Behavioral interface specification languages
- scientific article; zbMATH DE number 1617310 (Why is no real title available?)
- Domain science and engineering from computer science to the sciences of informatics. II: Science
- Recent Trends in Algebraic Development Techniques
- Weak bisimulation as a congruence in MSOS
- Automated flaw detection in algebraic specifications
- Proof-guided test selection from first-order specifications with equality
- HasCasl
- CoFI
- GenGED
- LARCH
- ELAN
- TinkerType
- ATERM
- CCSL
- MAYA
- IsaWin
- TAS
- OBJ3
- CIRC
- CafeOBJ
This page was built for software: CASL
