MODLISP

ABSTRACT

This paper discusses the design and implementation of MODLISP, a LISP-like language enhanced with the idea of MODes. This extension permits, but does not require, the user to declare the types of various variables, and to compile functions with the arguments declared to be of a particular type. It is possible to declare several functions of the same name, with arguments of different type (e.g. PLUS could be declared for Integer arguments, or Rational, or Real, or even Polynomial arguments) and the system will apply the correct function for the types of the arguments. The MODLISP language differs from other abstract data type languages such as CLU [Liskov & Zilles, 1974; Liskov et al, 1977] and Russell [Donahue,1977] in that it allows dynamic construction of new parametrised data types and possesses a unified semantics covering interpreted and compiled code, which can call one another at will. In short, it is LISP-like.

REFERENCES

• 1: ADJ (1978) (Authors: J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright) An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. IBM Research Report RC-6487 (October 1976). Current Trends in Programming Methodology, IV: Data Structuring (R.T. Yeh, Ed.) Prentice Hall, New Jersey (1978) pp. 80-149.
• 2: Hartmut Ehrig , Hans-Jörg Kreowski , James W. Thatcher , Eric G. Wagner , Jesse B. Wright, Parameterized Data Types in Algebraic Specification Languages (Short Version), Proceedings of the 7th Colloquium on Automata, Languages and Programming, p.157-168, July 14-18, 1980
• 3: Black, A.P. Exception Handling and Data Abstraction. IBM Research Report RC 8059 (1980).
• 4: Cohn, P.M. Universal Algebra. Harper & Row, New York, 1965.
• 5: Cohen, J.D. and Jenks, R.D. On Resolution and Coercion in MODLISP. In preparation.
• 6: Davenport, J.H. and Jenks, R.D. SCRATCHPAD/370 - Modes and Domains (privately circulated).
• 7: James E. Donahue, On the Semantics of "Data Type", Cornell University, Ithaca, NY, 1977
• 8: Ershov, A.P. On the essence of compilation. Proc. IFIP Working Conference on Formal Description of Programming Concepts, Vol. 1, 1977.
• 9: Joseph A. Goguen, Semantics of computation, Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control, p.151-163, February 25-26, 1974
• 10: Hearn, A.C. REDUCE-2 Users Manual, Computing Physics Group, University of Utah. 1973.
• 11: Hearn, A.C. A mode analysing Algebraic Manipulation Program. Proc. ACM 74, San Diego, California 1974.
• 12: Peter Henderson , James H. Morris, Jr., A lazy evaluator, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.95-103, January 19-21, 1976, Atlanta, Georgia [doi>10.1145/800168.811543]
• 13: IBM - LISP/370 Program Description /Operations Manual, Document SH20-2076-0, IBM Corp., Dept. 825, 1133 Westchester Ave., White Plains, N.Y. March 1978.
• 14: Jenks, R.D. On the Design of a Mode-Based Symbolic System, Proc. 10th. International Conference of System Studies, Hawaii 1977.
• 15: Richard D. Jenks, MODLISP -- an introduction (invited), Proceedings of the International Symposiumon on Symbolic and Algebraic Computation, p.466-480, June 01, 1979
• 16: Kathleen Jensen , Niklaus Wirth, Pascal-User Manual and Report, Springer-Verlag New York, Inc., Secaucus, NJ, 1975
• 17: 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]
• 18: Barbara Liskov , Stephen Zilles, Programming with abstract data types, ACM SIGPLAN Notices, v.9 n.4, p.50-59, April 1974
• 19: Ruediger G. K. Loos, Toward a formal implementation of computer algebra, ACM SIGSAM Bulletin, v.8 n.3, p.9-16, August 1974 [doi>10.1145/1086837.1086839]
• 20: James H. Morris, Jr., Types are not sets, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.120-124, October 01-03, 1973, Boston, Massachusetts [doi>10.1145/512927.512938]

INDEX TERMS

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

          Nouns: LISP

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Abstract data types; Procedures, functions, and subroutines

General Terms:
Languages