123 search results - page 11 / 25 » A Type System for Object Initialization in the Java Bytecode... |
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
ECOOP
2007
Springer
14 years 11 days ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
ECOOP
2000
Springer
14 years 24 days ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
POPL
1999
ACM
14 years 23 days ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...