Dynamic binding of separately compiled objects under program control (Technical report. University of Iowa. Dept. of Computer Science)