Semantics, calculi, and analysis for object-oriented specifications
From MaRDI portal
Publication:2390933
DOI10.1007/S00236-009-0093-8zbMATH Open1179.68078OpenAlexW2062768986MaRDI QIDQ2390933FDOQ2390933
Achim D. Brucker, Burkhart Wolff
Publication date: 10 August 2009
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-009-0093-8
Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cites Work
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- An introduction to mathematical logic and type theory: To truth through proof.
- Isabelle/HOL. A proof assistant for higher-order logic
- The B-Book
- A formulation of the simple theory of types
- Hoare logic for Java in Isabelle/HOL
- FM 2005: Formal Methods
- Theorem Proving in Higher Order Logics
- Building Formal Method Tools in the Isabelle/Isar Framework
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (9)
- Inter-deriving semantic artifacts for object-oriented programming
- A formal approach to object-oriented software engineering
- Denotational semantics of object specification
- Semantics and logic of object calculi
- Title not available (Why is that?)
- Theory and Applications of Models of Computation
- Difunctorial semantics of object calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Semantics, calculi, and analysis for object-oriented specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390933)
