101 search results - page 5 / 21 » Type-Based Alias Analysis |
DTJ
1998
14 years 11 months ago
1998
86
Voted
POPL
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
102
click to vote
ICFP
1997
ACM
15 years 3 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...