656 search results - page 12 / 132 » Parameterized Types for Java |
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
SAC
2009
ACM
14 years 9 days ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
APLAS
2006
ACM
14 years 1 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...