4205 search results - page 19 / 841 » Typed Mobile Objects |
PADL
2004
Springer
15 years 2 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 ...
LISP
2008
14 years 9 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...
ECOOP
2007
Springer
15 years 3 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 ...
186
click to vote
ECOOP
2009
Springer
15 years 10 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...
177
click to vote
POPL
2009
ACM
15 years 10 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...