Searching for "Aspects and Data Refinement." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Systematic Development of Concurrent Object-Oriented Programs
- … with an effective proof technique for proving refinement. This technique is based on aspects of data refinement [14…
- Cited by 3 (2 self) – Add To MetaCart
-
On Refinement and Foops
- …, and considering aspects of data refinement [13, 15, 7], we develop a notion of refinement for FOOPS. Refinement…
- Cited by 1 (0 self) – Add To MetaCart
-
Refinement of Concurrent Object Oriented Programs
- … for verifying refinement. We also consider aspects of data refinement [Hoare, 1972, Jifeng et al., 1986, Goguen…
- Cited by 6 (4 self) – Add To MetaCart
-
Structured Specifications and Implementation of Nondeterministic Data Types
- … by an example in the context of data refinement. A simple formalism for specifying nondeterministic data types…
- Add To MetaCart
-
"Fractal" Types: an Attempt to Generalize Hash Table Calculation
- … aspects of data refinement which are relevant in practice. On the one hand, the proper starting…
- Add To MetaCart
-
Sere: A Theory of Prioritising Composition
- … for assignments and other operators, especially calculational aspects of data refinement, have been studied…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
