Search
for Author
All Reviews
Leavens, Gary T.
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
3
of
3
reviews
Behavioral subtyping, specification inheritance, and modular reasoning
Leavens G., Naumann D. ACM Transactions on Programming Languages and Systems 37(4): 1-88, 2015. Type: Article
This is a long paper: 67 pages plus a 21-page appendix. It describes the verification of a dynamically dispatched method call of an object-oriented program by using supertype abstraction. The authors maintain that such abstraction is o...
...
Dec 15 2015
Specification and verification challenges for sequential object-oriented programs
Leavens G., Leino K., Müller P. Formal Aspects of Computing 19(2): 159-189, 2007. Type: Article
The formal verification of code is gradually becoming a more viable technique for use in program development beyond the confines of critical applications. Advances in formal interface specification languages, such as the Java Modeling ...
...
Mar 3 2008
Foundations of component-based systems
Leavens G., Sitaraman M. Cambridge University Press, New York, NY, 2000. Type: Divisible Book
This timely, heavyweight book addresses current issues in component-based systems. It is a collection of invited, peer-reviewed papers that have not been published elsewhere. Readers will need to be quite sophisticated, because the boo...
...
Jun 1 2000
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy