201 search results - page 16 / 41 » Representing Java Classes in a Typed Intermediate Language |
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
OOPSLA
2005
Springer
14 years 29 days ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
TCS
2008
13 years 7 months ago
2008
In the context of Featherweight Java by Igarashi, Pierce, and Wadler, and its recent extension FeatherTrait Java (FTJ) by the authors, we investigate classes that can be extended ...