Skip to main content
SpringerLink
Log in

Reliable interactive programming with modules

  • Published:
LISP and Symbolic Computation

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abelson, H. and Sussman, G.J. with Sussman, J.Structure and Interpretation of Computer Programs. MIT Press and McGraw-Hill, 1985.

  2. Cardelli, L., Donahue, J., Glassman, L., Jordan, M., Kalsow, B., and Nelson, G. Modula-3 report. Technical Report 31, DEC Systems Research Center, 1988.

  3. Curtis, P., and Rauen, J. A module system for scheme. InProceedings of the 1990 ACM Conference on Lisp and Functional Programming, 1990.

  4. Davis, H., Parquier, P., and Séniak, N. Talking about modules and delivery. InProceedings of the 1994 ACM Conference on Lisp and Functional Programming, 1994, pp. 113–120.

  5. Feldman, S.I. Make: A Program for Maintaining Computer Programs. Unpublished article.

  6. Friedman, D.P., and Felleisen, M. A closer look at export and import statements.Computer Language 11(1):29–37, 1986.

    Google Scholar 

  7. Harper, R., Milner, R., and Tofte, M. The definition of Standard ML. Technical Report ECS-LFCS-89-81, Department of Computer Science, University of Edinburgh, 1989.

  8. MacQueen, D. Modules for Standard ML. InProceedings of the 1984 ACM Conference on Lisp and Functional Programming, 1984, pp. 198–207.

  9. Queinnec, C., and Padget, J. Modules, macros and lisp. InEleventh International Conference of the Chilean Computer Science Society, Plenum Publishing Corporation, 1991, pp. 111–123.

  10. Rodríguez, R.G., Duba, B.F., and Felleisen, M. Can you trust your read-eval-print loop? Unpublished manuscript.

  11. Steele G.L., Jr.,Common Lisp, The Language. Digital Press, Second Edition, 1990.

  12. Teitelman, W., and Masinter, L. The interlisp programming environment.IEEE Computer,14(4):25–34, 1981.

    Google Scholar 

  13. Tung, S.-H.S.Merging Interactive, Modular, and Object-Oriented Programming. Ph.D. Thesis, Indiana University, Bloomington, 1992.

    Google Scholar 

  14. US Government Department of Defense. The programming language ADA: Reference manual. Lecture Notes in Computer Science, 1981, vol. 106.

  15. Wirth, N.Programming in Modula-2. Springer Verlag, 1983.

Download references

Author information

Authors and Affiliations

  1. Department of Management Information Systems, National Yunlin Institute of Technology, Touliu, Taiwan, R.O.C.

    Sho-Huan Simon Tung

  2. Computer Science Department, Indiana University, 47405, Bloomington, IN, USA

    R. Kent Dybvig

Authors
  1. Sho-Huan Simon Tung
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Kent Dybvig
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tung, SH.S., Dybvig, R.K. Reliable interactive programming with modules. Lisp and Symbolic Computation 9, 343–358 (1996). https://doi.org/10.1007/BF01806317

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01806317

Keywords

Search

Navigation