Type-Safe Linking and Modular Assembly Language (1999)
Cached
Download Links
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cornell.edu]
- [www.eecs.harvard.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- DBLP
Other Repositories/Bibliography
by
Neal Glew
,
Greg Morrisett
| Citations: | 57 - 1 self |
BibTeX
@MISC{Glew99type-safelinking,
author = {Neal Glew and Greg Morrisett},
title = {Type-Safe Linking and Modular Assembly Language},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 crucially upon a set of checks that must be performed at link time. Building upon the simple, but elegant ideas of Cardelli, and module constructs from high-level languages, we present a formal model of typed object files and a set of inference rules that are sufficient to guarantee that type safety is preserved by the linking process.
