31 search results - page 2 / 7 » Static Type Inference for Parametric Classes |
103
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
135
Voted
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
211
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
116
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
129
Voted
DLS
2007
15 years 6 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...