Interactive modular programming in Scheme

ABSTRACT

This paper presents a module system and a programming environment designed to support interactive program development in Scheme. The module system extends lexical scoping while maintainig its flavor and benefits and supports mutually recursive modules. The programming environment supports dynamic linking, separate compilation, production code compilation, and a window-based user interface with multiple read-eval-print contexts.

REFERENCES

• 1: Harold Abelson , Gerald Jay Sussman , Julie Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, MA, 1985
• 2: Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 report. Technical Report 31, DEC Systems Research Center, 1988.
• 3: Pavel Curtis , James Rauen, A module system for scheme, Proceedings of the 1990 ACM conference on LISP and functional programming, p.13-19, June 27-29, 1990, Nice, France [doi>10.1145/91556.91573]
• 4: R. Kent Dybvig, The SCHEME programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1987
• 5: Matthias Felleisen , Daniel P Friedman, A closer look at export and import statements, Computer Languages, v.11 n.1, p.29-37, 1986 [doi>10.1016/0096-0551(86)90015-9]
• 6: Robert Harper, Robin Milner, and Mads Tofte. The definition of Standard ML. Technical Report ECS-LFCS-89-81, Department of Computer Science, University of Edinburgh, 1989.
• 7: Simon Kaplan, Alan M. Carroll, Christopher Love, and Daniel M. LaLiberte. Epoch - GNU Emacs for the X Window System. Department of Computer Science, University of Illinois at Urbana- Champaign, 1990.
• 8: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 9: Christian Queinnec and Julian Padget. A detailed summary of a deterministic model of modules and macros for Lisp. Technical Report LIX/RR/90/01, Ecole Polytechnique, Laboratoire d'Informatique, 91128 Palaiseau Cedex (France), July-December 1989.
• 10: Jonathan Rees and William Clinger. (Editors), Revised4 report on the algorithmic language Scheme. Lisp Pointers, to appear.
• 11: Guy L. Steele Jr. Common Lisp. Digital Press, 1990. Second Edition.
• 12: Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977
• 13: Sho-Huan Simon Tung. Merging Interactive, Modular, and Object-Oriented Programming. PhD thesis, Indiana University, Bloomington, 1992.
• 14: Sho-Huan Simon Tung and R. Kent Dybvig. Object-oriented programming with interactive modules, in preparation.
• 15: US Government - Department of Defense. The programming language ADA - reference manual. Lecture Notes in Computer Science, Vol. 106, 1981.
• 16: N. Wirth, Programming in Modula-2, Springer-Verlag Telos, 1983

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: SCHEME

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Modules and interfaces; User interfaces
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Compilers

General Terms:
Design, Languages