Immutability specification and its applications
- Igor Pechtchanski
- Vivek Sarkar
- 2005
- CCPE
Publications
Date
Featured collections
Popular topics
39 results at CCPE
The design and implementation of grid database services in OGSA-DAI
- Mario Antonioletti
- Malcolm Atkinson
- et al.
- 2005
- CCPE
High-performance Java codes for computational fluid dynamics
- Christopher J. Riley
- Siddhartha Chatterjee
- et al.
- 2003
- CCPE
Supporting multidimensional arrays in Java
- José E. Moreira
- Samuel P. Midkiff
- et al.
- 2003
- CCPE
Kava: A Java dialect with a uniform object model for lightweight classes
- David F. Bacon
- 2003
- CCPE
Framework for testing multi-threaded Java programs
- Orit Edelstein
- Eitan Farchi
- et al.
- 2003
- CCPE
Java access protection through typing
- Eva Rose
- Kristoffer Høgsbro Rose
- 2001
- CCPE
A distributed implementation of a virtual machine for Java
- Yariv Aridor
- Michael Factor
- et al.
- 2001
- CCPE
Dynamic configuration of access control for mobile components in FarGo
- Yoad Gidron
- Israel Ben-Shaul
- et al.
- 2001
- CCPE