4205 search results - page 60 / 841 » Typed Mobile Objects |
201
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
102
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
153
click to vote
TLCA
1995
Springer
15 years 5 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
122
click to vote
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
114
click to vote
FMOODS
2006
15 years 3 months ago
2006
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...