Type-safe Composition of Object Modules
Gary Lindstrom, Douglas Orr
Department of Computer Science
University of Utah, Salt Lake City, UT 84112
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.
Full paper appeared in Computer Systems
and Education, Tata McGraw Hill Publishing Company, Limited,
Bangalore India, N. Balakrishnan, T. Radhakrishnan, D. Sampath and
S. Sundaram, editors, pp. 188-200, June 22-25, 1994. Also available as
University of Utah Computer Science Technical Report UUCS-94-001.
Last modified on Fri Aug 4 1995.