4205 search results - page 19 / 841 » Typed Mobile Objects |
126
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
113
click to vote
LISP
2008
15 years 1 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
116
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
233
click to vote
ECOOP
2009
Springer
16 years 2 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...
228
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...