Domain-specific semantics and data refinement of object models
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 42431 (Why is no real title available?)
- scientific article; zbMATH DE number 1105469 (Why is no real title available?)
- scientific article; zbMATH DE number 1409638 (Why is no real title available?)
- A logic of object-oriented programs
- From predicates to programs: the semantics of a method language
- SIMULA: an ALGOL-based simulation language
- The B-Book
- rCOS: a refinement calculus of object systems
Cited in
(6)- A domain model characterising strong normalisation
- scientific article; zbMATH DE number 2089377 (Why is no real title available?)
- Domain-specific transition systems and their application to a formal definition of a model programming language
- Formalizing and testing the consistency of DSL transformations
- Re-grouping information in a domain-theoretic data model
- From predicates to programs: the semantics of a method language
This page was built for publication: Domain-specific semantics and data refinement of object models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873615)