CASL
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A semantic approach to interpolation
- HasCasl: integrated higher-order specification and program development
- HasCasl
- Typed generic traversal with term rewriting strategies
- Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CoFI
- GenGED
- TinkerType
- LARCH
- ELAN
- ATERM
- Swinging types=functions+relations+transition systems
- CCSL
- MAYA
- Birkhoff style calculi for hybrid logics
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- IsaWin
- TAS
- A computational framework for conceptual blending
- OBJ3
- Amalgamation in the semantics of CASL
- A logic for the stepwise development of reactive systems
- CIRC
- CafeOBJ
- Maude
- FINDER
- CASL: the Common Algebraic Specification Language.
- Relating CASL with other specification languages: the institution level.
- Observational logic, constructor-based logic, and their duality.
- An institution-independent proof of Craig interpolation theorem
- Modular structural operational semantics
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Structured theories and institutions
- Interpolation in Grothendieck institutions
- Manipulating algebraic specifications with term-based and graph-based representations
- Hets
- TNTBase
- What is a logic translation?
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Semantics of multiway dataflow constraint systems
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- HighSpec
- Specifying with syntactic theory functors
- MIO Workbench
- CRC 3
- MTT
- Introducing H, an institution-based formal specification and verification language
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- MU-TERM
- KIV
- CARIBOO
- Tsukuba
- InvA
- UniForM
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
- Atomic actions, and their refinements to isolated protocols
- Proving operational termination of membership equational programs
- Diagram combinators in MMT
- ASF+SDF
- CSP-prover
- Foundations of logic programming in hybrid logics with user-defined sharing
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
- Specware
- CSP-CASL -- a new integration of process algebra and algebraic specification
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- A formally grounded software specification method
- Algebraic-coalgebraic specification in CoCASL
- Ultraproducts and possible worlds semantics in institutions
- Multiphysics modeling of two-phase film boiling within porous corrosion deposits
- PVSio-web
- OnTrack
- ModalCasl
- Herbrand theorems in arbitrary institutions
- Tiling algebra for constraint-based layout editing
- Morphism axioms
- EPK-fix
- HTab
- Institutional semantics for many-valued logics
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering
- CoCasl
- RATH-Agda
- HyLoTab
- Behavioural specification for hierarchical object composition
- Crystal: Integrating structured queries into a tactic language
- Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams
- scientific article; zbMATH DE number 1617290 (Why is no real title available?)
- scientific article; zbMATH DE number 1617292 (Why is no real title available?)
- scientific article; zbMATH DE number 1617293 (Why is no real title available?)
- scientific article; zbMATH DE number 1617295 (Why is no real title available?)
- scientific article; zbMATH DE number 1617309 (Why is no real title available?)
- scientific article; zbMATH DE number 1617310 (Why is no real title available?)
- scientific article; zbMATH DE number 1693525 (Why is no real title available?)
- scientific article; zbMATH DE number 1693526 (Why is no real title available?)
- scientific article; zbMATH DE number 1696893 (Why is no real title available?)
- A Theoretical Foundation for Programming Languages Aggregation
- Methods for proving termination of rewriting-based programming languages by transformation
- Implicit propagation in structural operational semantics
- Classifying categories for partial equational logic
This page was built for software: CASL
