What is the difference between linking and loading? What are the principal tasks of a linker? How can a linker enforce type checking across compilation units? What is the motivation for dynamic...

What is the difference between linking and loading? What are the principal tasks of a linker? How can a linker enforce type checking across compilation units? What is the motivation for dynamic linking? If you were writing a two-pass compiler, why might you choose a highlevel IF as the link between the front end and the back end? Why might you choose a medium-level IF?