JML: a Java Modeling Language (1998)


Download Links

by Gary T. Leavens , Albert L. Baker , Clyde Ruby
Venue:In Formal Underpinnings of Java Workshop (at OOPSLA'98
Citations:22 - 1 self

Active Bibliography

Efficient and Flexible Multimedia Delivery with Universal Database Systems – Copyright C Matthias Wagner, Matthias Wagner, Matthias Wagner, Stefan Holl, Stefan Holl, Stefan Holland, Werner Kießling, Werner Kie Ling, Werner Kie Ling - 1999
Inheritance Anomaly – Lobel Crnogorac, Prof Kotagiri Ramamohanarao, Dr. Anand, S. Rao - 1995
Fully Abstract Model of Reactive Objects – Roger Duke, Cecily Bailes, Graeme Smith - 1996
Toward Class Evolution in Persistent Java – John Ridgway, Jack C. Wileden
.1 Knowledge Representation View – Software Is Used
Using Design Patterns - An observational study – An Observational Study, Eyðun Eli Jacobsen - 1999
Inside this Issue – Icasers Share Bell, Shannon K, Emily N. Todd, A. Al-theneyan, P. Mehrotra, M. Zubair, Csar Muoz
Digital Dynamic Telepathology -- the Virtual Microscope – Asmara Afework Michael, Michael D. Beynony, Fabian Bustamantey, Angelo Demarzo, Renato Ferreiray, Robert Miller, Mark Silberman, Joel Saltz, Ph. D. Y Z, Alan Sussman, Ph. D. Y, Hubert Tsang - 1998
Characterizing and Inheriting Synchronization Constraints using Behavior Sets – R. Greg Lavender, Dennis G. Kafura
Towards the Design of an Internet Operating System – Chrislain Razafimahefa, Ciaran Bryce
Modeling Hypergeneric Relationships Between Types in – Adeline Capouillez Robert, Robert Chignoli, Pierre Crescenzo - 2000
Theory and Practice of Incremental Subtyping Tests and Message Dispatching – Yoav Zibin, Joseph (Yossi) Gil - 2001
Object-Oriented Implementation of Data-Parallelism on Global Networks – Jan Borowiec - 1998
Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency – David Steere Dcs, David C. Steere - 1997
Remote Execution of Data-Parallel Programs – Jan Borowiec - 1998
Object Relations and Syntactic Mechanisms in Design Patterns – Uriel Cohen
Towards Seemless Computing and Metacomputing in Java – Denis Caromel, Wilfried Klauser, Julien Vayssiere - 1998
Active Protocols for Agile Censor-Resistant Networks – Robert Ricci Jay, Jay Lepreau - 2001