Pages that link to "Item:Q2873615"
From MaRDI portal
The following pages link to Domain-specific semantics and data refinement of object models (Q2873615):
Displaying 5 items.
- Formalizing and testing the consistency of DSL transformations (Q736456) (← links)
- A domain model characterising strong normalisation (Q958484) (← links)
- From predicates to programs: the semantics of a method language (Q2870332) (← links)
- (Q3046721) (← links)
- Re-grouping information in a domain-theoretic data model (Q4236213) (← links)