12 results on '"Leavens, Gary T."'
Search Results
2. Challenge benchmarks for verification of real-time programs
3. Use concurrent programming models to motivate teaching of programming languages
4. Modular verification of higher-order methods with mandatory calls specified by model programs
5. Safely creating correct subclasses without seeing superclass code
6. MultiJava
7. Multiple dispatch as dispatch on Tuples
8. Foundations of Object-Oriented Languages
9. Typechecking and modules for multi-methods
10. Inheritance of interface specifications (extended abstract)
11. Reasoning about object-oriented programs that use subtypes
12. Prettyprinting styles for various languages
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.