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