35 search results - page 2 / 7 » Subtyping in Java 5.0 |
SCP
2002
14 years 9 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
70
Voted
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
100
click to vote
FMOODS
2003
14 years 11 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
112
click to vote
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...