42 search results - page 4 / 9 » Region inference for an object-oriented language |
73
Voted
APLAS
2004
ACM
15 years 2 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
ECOOP
2012
Springer
12 years 12 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...