60 search results - page 7 / 12 » Sound Polymorphic Type Inference for Objects |
241
click to vote
ECOOP
2009
Springer
16 years 3 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...
133
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
98
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
114
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
107
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...