Preview
Unable to display preview. Download preview PDF.
References
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.
Ershov, A. P., "On the Essence of Compilation", Proceedings of IFIP Working Conference on Formal Description of Programming Concepts, Volume 1, August 1977.
Griesmer, J. H., Jenks, R. D., and Yun, D. Y. Y., "SCRATCHPAD User's Manual", IBM Research Report RA 70, June 1975.
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.
Guttag, J., Horowitz, E., and Musser, D., "Abstract Data Types and Software Validation", Report ISI/RR-76-48, August 1976.
Hearn, A. C., "A Mode Analyzing Algebraic Manipulation Program", Proceedings of ACM 74, San Diego, California, 1974.
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).
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)
Jenks, R. D., "SCRATCHPAD/360: Reflections on a Language Design", Proceedings of SEAS Annual Meeting, Stressa, Italy, October, 1978.
Jenks, R. D., "MODLISP", in preparation.
Liskov, B., Snyder, A., Atkinson, R., and Schaffert, C., Abstraction Mechanisms in CLU, Communications of the ACM, Vol. 20, No. 8, August, 1977.
LISP/370 Program Description/Operations Manual, Document SH20-2076-0, IBM Corp., Department 825, 1133 Westchester Avenue, White Plains, New York, March 1978.
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
McCarthy, John, et al, LISP 1.5 Programmers Manual, M. I. T. Press, Cambridge, Mass., August 1962.
Wegbreit, Ben, "Property Extraction in Well-Founded Property Sets", IEEE Transactions on Software Engineering, Vol. SE-I, No. 3, September, 1975, pp. 270–285.
Author information
Authors and Affiliations
Editor information
Rights 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