4211 search results - page 296 / 843 » Types as Abstract Interpretations |
171
click to vote
ML
2006
ACM
16 years 19 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
183
click to vote
OOPSLA
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
170
Voted
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
230
click to vote
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
181
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...