Searching for "Types and Specifications." – sorted by Relevance.
-
Type Specifications with Processes
- Type Specifications with Processes Franz Puntigam Technische Universitat Wien Institut fur
- Cited by 11 (6 self) – Add To MetaCart
-
Refinement Types for Specification
- Refinement types for specification E. Denney LFCS, Department of Computer Science, University
- Cited by 6 (2 self) – Add To MetaCart
-
Types as Specifications of Access Policies
- Types as Specications of Access Policies Rocco De Nicola 1 GianLuigi Ferrari 2 Rosario Pugliese
- Cited by 12 (5 self) – Add To MetaCart
-
Type-Specific Storage Management
- Type-Specific Storage Management Daniel Ross Edelson UCSC--CRL--93--26 28 May 1993 Baskin Center
- Add To MetaCart
-
Composite Model Checking with Type Specific Symbolic Encodings
- Composite Model Checking with Type Specific Symbolic Encodings* Tevfik Bultan Richard Gerber
- Cited by 1 (1 self) – Add To MetaCart
-
Semantics of Stereotypes for Type Specification in UML: Theory and Practice
- Semantics of Stereotypes for Type Specification in UML: Theory and Practice François Pinet
- Cited by 1 (1 self) – Add To MetaCart
-
Type Inferencing Based on Complete Type Specifications
- Type Inferencing Based on Complete Type Specifications Leonid A. Kalinichenko and Vladimir I
- Cited by 3 (3 self) – Add To MetaCart
-
Type-Specific Storage Management (Shorter Version)
- Type-Specific Storage Management (Shorter Version) Daniel Ross Edelson UCSC--CRL--93--27 28 May
- Add To MetaCart
-
Simplifying and solving qualified types for principal type specification
- Simplifying and Solving Qualified Types for Principal Type Specialisation Pablo E. Martínez López
- Cited by 1 (0 self) – Add To MetaCart
-
Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence
- Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence John K. Bennett* John B
- Cited by 258 (15 self) – Add To MetaCart

