Skip to main content
SpringerLink
Log in

MODLISP: An introduction

  • 12. Languages And Designs
  • Conference paper
  • First Online:
Book cover Symbolic and Algebraic Computation (EUROSAM 1979)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 72))

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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. Guttag, J., Horowitz, E., and Musser, D., "Abstract Data Types and Software Validation", Report ISI/RR-76-48, August 1976.

    Google Scholar 

  6. Hearn, A. C., "A Mode Analyzing Algebraic Manipulation Program", Proceedings of ACM 74, San Diego, California, 1974.

    Google Scholar 

  7. 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. 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. Jenks, R. D., "SCRATCHPAD/360: Reflections on a Language Design", Proceedings of SEAS Annual Meeting, Stressa, Italy, October, 1978.

    Google Scholar 

  10. Jenks, R. D., "MODLISP", in preparation.

    Google Scholar 

  11. 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. 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. 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–16

    Google Scholar 

  14. McCarthy, John, et al, LISP 1.5 Programmers Manual, M. I. T. Press, Cambridge, Mass., August 1962.

    Google Scholar 

  15. 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 

Download references

Author information

Authors and Affiliations

  1. Mathematical Sciences Department, IBM T. J. Watson Research Center, USA

    Richard D. Jenks

Authors
  1. Richard D. Jenks
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Edward W. Ng

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jenks, R.D. (1979). MODLISP: An introduction. In: Ng, E.W. (eds) Symbolic and Algebraic Computation. EUROSAM 1979. Lecture Notes in Computer Science, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09519-5_96

Download citation

  • DOI: https://doi.org/10.1007/3-540-09519-5_96

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09519-4

  • Online ISBN: 978-3-540-35128-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation