Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 CLYDE D. RUBY
Programming language semantics (especially for object-oriented languages),
programming methodology, specification (Larch/C++, Java Modeling Language (JML)),
and verification.
Publications
Clyde Ruby
and Gary T. Leavens.
Safely Creating Correct Subclasses without Seeing Superclass Code.
In OOPSLA
2000 Conference Proceedings, pages 208-228. Volume 35, number
10 of ACM SIGPLAN
Notices, October 2000.
Also Department of Computer Science, Iowa State University,
TR #00-05d, April 2000, revised April, June, July 2000.
[abstract][postscript]
Clyde Ruby.
Safely Creating Correct Subclasses without Seeing Superclass Code.
In OOPSLA
2000 Companion: Doctoral Symposium, Minneapolis, Minnesota,
October 2000, pages 155-156.
Gary T. Leavens
and K. Rustan M. Leino and Erik Poll and
Clyde Ruby and Bart Jacobs.
JML: Notations and Tools Supporting Detailed Design in Java,
OOPSLA 2000 Companion, Minneapolis, Minnesota,
October 2000, pages 105-106,
ACM,
Gary T. Leavens
and Albert L. Baker
and Clyde Ruby.
JML: A Notation for Detailed Design
in Behavioral Specifications of Businesses and Systems,
Editors: Haim Kilov and Bernhard Rumpe and Ian Simmonds,
1999,
Kluwer Academic Publishers, Boston,
pages 175-188.
Gary T. Leavens
and Albert L. Baker
and Clyde Ruby.
Preliminary Design of JML:
A Behavioral Interface Specification Language for Java.
Iowa State University, Department of Computer Science,
TR #98-06k, July 2000.
[postscript]
Gary T. Leavens
and Albert L. Baker
and Clyde Ruby.
JML: a Java Modeling Language,
Formal Underpinnings of Java Workshop (at OOPSLA '98),
October 1998,
[html]
Gary T. Leavens
and Clyde Ruby.
Specification Facets for More Precise, Focused Documentation.
In the Proceedings of the Eighth Annual Workshop on Software
Reuse (WISR8), Columbus Ohio, March 1997.
Also Department of Computer Science, Iowa State University,
TR #97-04, January 1997.
[abstract][postscript]