CASL

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)

• 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
• FINDER
• Hets
• TNTBase
• Interpolation in Grothendieck institutions
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• CRC 3
• HighSpec
• MIO Workbench
• MTT
• CARIBOO
• KIV
• MU-TERM
• InvA
• Tsukuba
• UniForM
• ASF+SDF
• CSP-prover
• ModalCasl
• OnTrack
• PVSio-web
• Specware
• EPK-fix
• HTab
• CoCasl
• RATH-Agda
• HyLoTab
• AADL
• Delphin
• EXPANDER
• CITP
• CPoint
• Algebraic Methodology and Software Technology
• PowerPoint
• TexPoint
• SACHS
• MathML
• Vickrey_Clarke_Groves
• Institution morphisms
• An encoding of partial algebras as total algebras
• Theorem Proving in Higher Order Logics
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• Mathematical Knowledge Management
• Amulet
• Mechanizing Mathematical Reasoning
• Swinging types=functions+relations+transition systems
• Functorial semantics of first-order views
• Parameterisation for abstract structured specifications
• HasCasl: integrated higher-order specification and program development
• What is a logic translation?
• Title not available (Why is that?)
• Saturated models in institutions
• A logic for the stepwise development of reactive systems
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Abstract Beth definability in institutions
• Monad-independent Dynamic Logic in HasCasl
• Relating CASL with other specification languages: the institution level.
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• The role of logical interpretations in program development
• Title not available (Why is that?)
• CASL reference manual. The complete documentation of the common algebraic specification language.
• 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.

This page was built for software: CASL