MODLISP: An introduction

  • Richard D. Jenks
12. Languages And Designs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 72)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ADJ78]
    Thatcher, J. W., Wagner, E. G., and Wright, J. B., "Data type specification: Parameterization and the Power of Specification Techniques", Proceedings SIGACT 10th Annual Symposium on Theory of Computing, May, 1978, pp. 119–132.Google Scholar
  2. [ERSH78]
    Ershov, A. P., "On the Essence of Compilation", Proceedings of IFIP Working Conference on Formal Description of Programming Concepts, Volume 1, August 1977.Google Scholar
  3. [GRJY75]
    Griesmer, J. H., Jenks, R. D., and Yun, D. Y. Y., "SCRATCHPAD User's Manual", IBM Research Report RA 70, June 1975.Google Scholar
  4. [GRIS76]
    Griss, Martin L., "The Definition and Use of Data Structures in REDUCE", Proceedings of the 1976 Symposium on Symbolic and Algebraic Computation, Yorktown Heights, New York, August 1976, pp. 53–59.Google Scholar
  5. [GUHM76]
    Guttag, J., Horowitz, E., and Musser, D., "Abstract Data Types and Software Validation", Report ISI/RR-76-48, August 1976.Google Scholar
  6. [HEAR74]
    Hearn, A. C., "A Mode Analyzing Algebraic Manipulation Program", Proceedings of ACM 74, San Diego, California, 1974.Google Scholar
  7. [JENK74]
    Jenks, R. D., "The SCRATCHPAD Language," Proceedings of a Symposium on Very High Level Languages, SIGPLAN Notices, Vol. 9, No. 4, April 1974 (Reprinted in SIGSAM Bulletin, Vol. 8, No. 2, May 1974).Google Scholar
  8. [JENK77]
    Jenks, R. D., "On the Design of a Mode-Based Symbolic System", Proceedings of the Tenth Hawaii International Conference on System Sciences, January 1977, Honolulu, pp. 157–160. (Reprinted in SIGSAM Bulletin, Vol. 11, No. 1, February 1977)Google Scholar
  9. [JENK78]
    Jenks, R. D., "SCRATCHPAD/360: Reflections on a Language Design", Proceedings of SEAS Annual Meeting, Stressa, Italy, October, 1978.Google Scholar
  10. [JENK80]
    Jenks, R. D., "MODLISP", in preparation.Google Scholar
  11. [LISK74]
    Liskov, B., Snyder, A., Atkinson, R., and Schaffert, C., Abstraction Mechanisms in CLU, Communications of the ACM, Vol. 20, No. 8, August, 1977.Google Scholar
  12. [LISP78]
    LISP/370 Program Description/Operations Manual, Document SH20-2076-0, IBM Corp., Department 825, 1133 Westchester Avenue, White Plains, New York, March 1978.Google Scholar
  13. [LOOS74]
    Loos, Ruediger G. D., "Towards a Formal Implementation of Computer Algebra", Proceedings of Eurosam `74, SIGSAM Bulletin, Vol. 8., No. 3, August 1974, pp. 9–16Google Scholar
  14. [MCCA62]
    McCarthy, John, et al, LISP 1.5 Programmers Manual, M. I. T. Press, Cambridge, Mass., August 1962.Google Scholar
  15. [WEGB75]
    Wegbreit, Ben, "Property Extraction in Well-Founded Property Sets", IEEE Transactions on Software Engineering, Vol. SE-I, No. 3, September, 1975, pp. 270–285.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Richard D. Jenks
    • 1
  1. 1.Mathematical Sciences DepartmentIBM T. J. Watson Research CenterUSA

Personalised recommendations