832 search results - page 152 / 167 » Mutation of Java Objects |
ESOP
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
MATA
2001
Springer
13 years 11 months ago
2001
Springer
As networks become all-pervasive the importance of efficient information gathering for purposes such as monitoring, fault diagnosis, and performance evaluation can only increase. E...
NDSS
2000
IEEE
13 years 11 months ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
VRML
2000
ACM
13 years 11 months ago
2000
ACM
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite i...
ICFP
1999
ACM
13 years 11 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...