CASL

swMATH2235MaRDI QIDQ14779FDOQ14779

Author name not available (Why is that?)

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

• 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
• The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
• A formally grounded software specification method
• Amalgamation in the semantics of CASL
• Title not available (Why is that?)
• Multiphysics modeling of two-phase film boiling within porous corrosion deposits
• Semantics of multiway dataflow constraint systems
• Recent Trends in Algebraic Development Techniques
• Specifying with syntactic theory functors
• On the weaving process of aspect-oriented product family algebra
• Hybrid Specification of Reactive Systems: An Institutional Approach
• Tiling algebra for constraint-based layout editing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lambda Expressions in Casl Architectural Specifications
• 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
• Introducing \(H\), an institution-based formal specification and verification language
• Constructor-Based Institutions
• Towards an Institutional Framework for Heterogeneous Formal Development in UML
• Ultraproducts and possible worlds semantics in institutions
• Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
• Compositional Modelling and Reasoning in an Institution for Processes and Data
• 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
• Bootstrapping Types and Cotypes in HasCASL
• CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
• Borrowing interpolation
• 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

This page was built for software: CASL