CASL

swMATH2235MaRDI QIDQ14779

No author found.

Related Items (only showing first 100 items - show all)

Towards a Unified Theory of Operational and Axiomatic Semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Building Specifications in the Event-B Institution ⋮ Recent Trends in Algebraic Development Techniques ⋮ Recent Trends in Algebraic Development Techniques ⋮ Recent Trends in Algebraic Development Techniques ⋮ Generalized Theoroidal Institution Comorphisms ⋮ Property Preserving Refinement for Csp-Casl ⋮ Translating a Dependently-Typed Logic to First-Order Logic ⋮ Component-Based Security Policy Design with Colored Petri Nets ⋮ Order-Sorted Parameterization and Induction ⋮ Unnamed Item ⋮ ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement ⋮ Monad-independent Dynamic Logic in HasCasl ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categories of Coalgebras with Monadic Homomorphisms ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ Modeling inheritance as coercion in a symbolic computation system ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automating Algebraic Specifications of Non-freely Generated Data Types ⋮ Second-Order Principles in Specification Languages for Object-Oriented Programs ⋮ Theoretical Aspects of Computing – ICTAC 2005 ⋮ A logical framework combining model and proof theory ⋮ CafeOBJ Traces ⋮ An Institution for Imperative RSL Specifications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mechanizing Mathematical Reasoning ⋮ Mechanizing Mathematical Reasoning ⋮ From Hoare Logic to Matching Logic Reachability ⋮ Algebra and Coalgebra in Computer Science ⋮ Unnamed Item ⋮ Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic ⋮ CSP-CASL-Prover: A Generic Tool for Process and Data Refinement ⋮ Operational Termination of Membership Equational Programs: the Order-Sorted Way ⋮ Reasoning Support for Casl with Automated Theorem Proving Systems ⋮ Jewels of Institution-Independent Model Theory ⋮ Institutional 2-cells and Grothendieck Institutions ⋮ Change Management for Heterogeneous Development Graphs ⋮ Bootstrapping Types and Cotypes in HasCASL ⋮ First-Order Logic with Dependent Types ⋮ Integrating Maude into Hets ⋮ Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making ⋮ Theorem Proving in Higher Order Logics ⋮ Recent Trends in Algebraic Development Techniques ⋮ Recent Trends in Algebraic Development Techniques ⋮ Compensating the Computational Bias of Spreadsheets with MKM Techniques ⋮ Mathematical Logic for Life Science Ontologies ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ Foundations of Software Science and Computation Structures ⋮ Abstract Beth definability in institutions ⋮ Fundamental Approaches to Software Engineering ⋮ Algebraic Methodology and Software Technology ⋮ Algebraic Methodology and Software Technology ⋮ An Institution for Object-Z with Inheritance and Polymorphism ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML ⋮ Formal Modelling for Cooking Assistance ⋮ Mathematical Knowledge Management ⋮ Matching Logic ⋮ One-Path Reachability Logic ⋮ Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Observational logic, constructor-based logic, and their duality. ⋮ An institution-independent proof of Craig interpolation theorem ⋮ Modular structural operational semantics ⋮ Constructor-Based Institutions ⋮ The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema ⋮ Building a Modal Interface Theory for Concurrency and Data ⋮ My ADT Shrine ⋮ Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation ⋮ Lambda Expressions in Casl Architectural Specifications ⋮ A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ Towards Logical Frameworks in the Heterogeneous Tool Set Hets ⋮ Compositional Modelling and Reasoning in an Institution for Processes and Data ⋮ CASL reference manual. The complete documentation of the common algebraic specification language. ⋮ Borrowing interpolation ⋮ 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 ⋮ Structured theories and institutions ⋮ Interpolation in Grothendieck institutions ⋮ Untyping Typed Algebras and Colouring Cyclic Linear Logic ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Multiphysics modeling of two-phase film boiling within porous corrosion deposits ⋮ Quasi-Boolean encodings and conditionals in algebraic specification ⋮ Generalized interpolation in CASL ⋮ Unnamed Item

This page was built for software: CASL