Searching for "Practical Interface Specification." – sorted by Relevance.
-
Reasoning about object structures using ownership
- to cope with new developments in programming languages and programming practice: Interface specifications
- Cited by 1 (0 self) – Add To MetaCart
-
Stack-based Access Control and Secure Information Flow
- -dependent typing may be a suitable basis for the design of practical interface specifications and tools. Outline
- Cited by 46 (16 self) – Add To MetaCart
-
TKK-ICS-R4 INTERFACE SPECIFICATION METHODS FOR SOFTWARE COM- PONENTS
- prime candidate for a practical interface specification language in the LIME project and left out from
- Add To MetaCart

