Sho-Huan Simon Tung and R. Kent Dybvig. Reliable interactive programming with modules. Lisp and Symbolic Computation 9, 4, 343-358, December 1996 (bibtex).

Interactive programming is a convenient programming style that supports fast prototyping and debugging but often results in a loss of modularity and security. This article addresses the problem of supporting reliable and modular interactive programming. A module system designed for interactive use is introduced. This module system supports separate compilation and automatic updating of module interfaces during program development. It also allows the programmer to obtain a fresh program state for reliable testing, eliminating the need to reload an entire program.

Modules, Linking, Loading, Interactive Programming, Programming Environments