Talking about modules and delivery

ABSTRACT

Adding a module system to LISP enhances program security and efficiency, and help the programmer master the complexity of large systems, thus facilitating application and delivery. TALK's module system is based on a simple compilation model which takes macros into account and provides a solid basis for automatic module management tools. Higher-level structuring entities—libraries and executables—group modules into deliverable goods. The module system is secure because it validates interfaces, efficient because it separates compilation dependencies from execution dependencies, and useful because it offers a simple processing model, automatic tools, and a graceful transition from development to delivery.

REFERENCES

• 1: Jérome Chailloux , Ma´thieu Devin , Jean-Marie Hullot, LELISP, a portable and efficient LISP system, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.113-122, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802027]
• 2: 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]
• 3: Harley Davis , Pierre Parquier , Nitsan Séniak, Sweet harmony: the Talk/C++ connection, Proceedings of the 1994 ACM conference on LISP and functional programming, p.121-127, June 27-29, 1994, Orlando, Florida, United States
• 4: Luc~ Cardelli et al. Modula-3 Report (revised). Technical Report 52, Digital Equipment Corporation Systems Research Center, 1989.
• 5: Ilog. ilo# Talk Reference Manual, 1994.
• 6: American National Standards Institute, Inc. The programming langugage Ada reference manual. In G. Goos and J. Hartmanis, editors, Lecture Notes in Computer Science. Springer-Veda.~, 1983.
• 7: Leslie C. Lander , Sandeep Mitra , Nitin Singhvi , Thomas F. Piatkowski, The elaboration order problem of Ada, Software—Practice & Experience, v.22 n.5, p.391-417, May 1992 [doi>10.1002/spe.4380220504]
• 8: Julian Padget , Greg Nuyens , Harry Bretthauer, An overview of EuLisp, Lisp and Symbolic Computation, v.6 n.1-2, p.9-97, Aug. 1993 [doi>10.1007/BF01025915]
• 9: Sho-Huan Simon Tung, Interactive modular programming in Scheme, Proceedings of the 1992 ACM conference on LISP and functional programming, p.86-95, June 22-24, 1992, San Francisco, California, United States

INDEX TERMS

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

          Nouns: LISP

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

General Terms:
Languages