18 search results - page 1 / 4 » Sealed calls in Java packages |
OOPSLA
2000
Springer
13 years 8 months ago
2000
Springer
JOT
2007
13 years 4 months ago
2007
We describe a prototype of a diffraction range finding camera implemented in, and simulated by, Java. This sensor is able to digitize objects in 3D using only a single video camer...
SIGITE
2004
ACM
13 years 10 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
POPL
1998
ACM
13 years 9 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...