2596 search results - page 81 / 520 » Gradual Typing for Objects |
110
click to vote
DOOD
1989
Springer
15 years 7 months ago
1989
Springer
This paper attempts to de ne an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented databas...
132
Voted
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
130
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
130
click to vote
VMV
2000
15 years 4 months ago
2000
In this paper the problem of matching freeform surface features against measured point data is studied. The motivation for this investigation is the recent demand for fast and rob...
202
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...