JML: a Java Modeling Language (1998)

Cached

Download Links

by Gary T. Leavens , Albert L. Baker , Clyde Ruby
Venue:In Formal Underpinnings of Java Workshop (at OOPSLA'98
Citations:20 - 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
JAMOOS AN OBJECT ORIENTED LANGUAGE FOR GRAMMARS – Yuri Tsoglin, Yuri Tsoglin
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
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
Clicki: A Framework for Light-weight Web-based Visual Applications – Donald Gordon, James Noble, Robert Biddle
3 Incremental Algorithms for Dispatching in Dynamically Typed Languages – Yoav Zibin, Joseph (Yossi) Gil
2 A Security Framework for a Mobile Agent System – Ciarán Bryce - 2000