2565 search results - page 3 / 513 » Object type constructors |
118
Voted
SFP
2001
15 years 2 months ago
2001
: It is well known that type constructors of incomplete trees (trees with variables) carry the structure of a monad with substitution as the extension operation. Less known are the...
109
Voted
BTW
2003
Springer
15 years 6 months ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
129
Voted
ACSC
2001
IEEE
15 years 4 months ago
2001
IEEE
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...
108
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
224
Voted
ECOOP
2009
Springer
16 years 1 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...