21 search results - page 1 / 5 » Sharing in Typed Module Assembly Language |
TIC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
64
Voted
POPL
1994
ACM
15 years 1 months ago
1994
ACM
POPL
1999
ACM
15 years 1 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
PLDI
1998
ACM
15 years 1 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
ECOOP
2003
Springer
15 years 2 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...