LISP and Symbolic Computation, 9(4)343-358

Reliable Interactive Programming with Modules

Sho-Huan Simon Tung, Department of Management Information Systems, National Yunlin Institute of Technology, Touliu, Taiwan, R.O.C.
R. Kent Dybvig, Computer Science Department, Indiana University, Bloomington, IN 47405 USA

Abstract: 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.

Keywords: modules, linking, loading, interactive programming, programming environments

[local copy]
[picture of journal cover]

May 2003 - hosc@brics.dk