17 results on '"Liskov, Barbara"'
Search Results
2. Lightweight, flexible object-oriented generics
3. Lazy modular upgrades in persistent object stores
4. Ownership types for object encapsulation
5. Subtypes vs. where clauses
6. Reducing cross domain call overhead using batched futures
7. Specifications and their use in defining subtypes
8. A history of CLU
9. Programming language issues for the 1980's
10. Abstraction mechanisms in CLU
11. Programming with abstract data types
12. Specification and implementation of resilient, atomic data types
13. Specification techniques for data abstractions
14. Keynote address - data abstraction and hierarchy
15. Data types and program correctness
16. Report of session on structured programming
17. SPIL
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.