| Publication Type |
journal article |
| School or College |
College of Engineering |
| Department |
Kahlert School of Computing |
| Creator |
Lindstrom, Gary E. |
| Other Author |
Banavar, Guruduth; Orr, Douglas |
| Title |
Type-safe composition of object modules |
| Date |
1994 |
| Description |
We describe a facility that enables routine type-checking during the linkage of external declarations and definitions of separately compiled programs in ANSI C. The primary advantage of our server-style type-checked linkage facility is the ability to program the combination of object modules via a suite of strongly typed module operators. Such programmability enables one to easily incorporate programmer-defined data format conversion stubs at link-time. In addition, our linkage facility is able to automatically generate safe coercion stubs for compatible encapsulated data.1 |
| Type |
Text |
| Publisher |
University of Utah |
| First Page |
1 |
| Last Page |
12 |
| Subject |
object modules; ANSI C; Type-safe; type-checking |
| Language |
eng |
| Bibliographic Citation |
Banavar, G., Lindstrom G. E., & Orr, D. (1994). Type-safe composition of object modules. 1-12. UUCS-94-001. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Rights Management |
©University of Utah |
| Format Medium |
application/pdf |
| Format Extent |
9,815,718 bytes |
| Identifier |
ir-main,16291 |
| ARK |
ark:/87278/s6gb2nm0 |
| Setname |
ir_uspace |
| ID |
706606 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6gb2nm0 |
