Abstract
The goal of the paper is to show that copy-rule semantics can handle higher order functionals in the sence of FUNARGs in LISP. A language LISP/N, which is derived from pure LISP, is introduced and the semantics are defined without reference to an interpreter; its definition is essentially based on a copy-rule for LISP/N.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Berry, D.M.: Block Structure: Retention or Deletion. Proc. of the Third Annual ACM Symp. on Theory of Computing, 1971
Bobrow, D.G., Wegbreit, B.: A Model and Stack Implementation of Multiple Environments. CACM 4, 10, 1973
Fischer, M.J.: Lambda Calculus Schemata. SIGPLAN Notices 7 (1), 1972
Friedman, D.P., Wise, D.S.: CONS should not Evaluate its Arguments. Third ICALP, Edinburgh, 1976
Gordon, M.J.C.: Models of Pure LISP (a worked example in semantics). Dept. of Machine Intelligence, Univ. of Edinburgh, Rep. 31, 1973
Greussay, P.: Contribution à la définition interprétative et à l'implementation des λ-languages. Thèse ès Sciences, Paris VII, 1977.
Hesse, W.: Two-level Graph Grammars. Technische Universität München, TUM-INFO-7833, 1978
Hoare, C.A.R.: An axiomatic basis for computer programming. CACM 12, 1969
Kaufholz, G., Lippe, W.M.: A Note on a Paper of H. Langmaack about Correct Procedure Parameter Transmission. Universität des Saarlandes, Bericht Nr. A 74/06, 1974
Langmaack, H.: On Correct Procedure Parameter Transmission in Higher Programming Languages. Acta Informatica 2, 1973
Lippe, W.M.: Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.
Lippe, W.M., Simon, F.: LISP/N — Basic Definitions and Properties. Bericht Nr. 4/79 des Instituts für Informatik und Praktische Mathematik der Universität Kiel
McCarthy, J. et al.: LISP 1.5 Programmer's Manual. MIT Press, Cambridge, Mass., 1966
McCarthy, J.: A New EVAL Function. MIT Artificial Intelligence Memo No. 34
McGowan, C.L.: The "most-recent" Error: its Causes and Correction. Proc. of an ACM Conf. on Proving Assertions about programs. SIGPLAN Notices Vol. 7. No. 1, 1972
Moses, J.: The Function of FUNCTION in LISP. SIGSAM Bull. 15, 1970
Perrot, J.F.: LISP et λ-calcul. in: B. Robinet (Ed.) Lambda Calcul et Sémantique Formelle des Langages de Programmation, Paris, 1979
Robinet, B.: Petit precis de lambda-calcul. Ecole de l'IRIA: Implementation et Interprètation des LISP, Toulouse, 1978
Sandewall. E.: A Proposed Solution to the FUNARG Problem. Uppsala Univ. Dept. of Comp. Sci., Rep. 28, 1970
Schwartz, R.L.: A W-grammar Description of LISP. Modeling and Measurement Note No. 34, Comp. Dept. School of Eng. and Appl. Sci., UCLA, 1975
Simon, F.: Zur Charakterisierung von LISP als ALGOL-ähnliche Programmiersprache mit einem strikt nach dem Kellerprinzip arbeitenden Laufzeitsystem. Dissertation, Kiel, 1978
Simon, F.: Cons-freies Programmieren in LISP unter deletion-Strategie. in: Informatik Fachberichte, Bd. 1, Springer Verlag, 1976
Simon, F., Trademann, P.: Eine Beziehung zwischen consfreiem LISP und Stackautomaten. Journal of Information Processing and Cybernetics (EIK), Vol. 14, No. 12, 1978
Smith, D.C.: MLISP. Stanford Artificial Intelligence Project Memo AIM-135, Computer Science Department Report No. CS 179, Oktober 1970
Steele, G.J. Jr.: Macaroni is Better than Spaghetti. Proc. of the Symp. on AI and Progr. Lang., ACM, 1977
Steele, G.J. Jr., Sussman, G.J.: The Art of the Interpreter or the Modularity Complex. AI Memo No. 453, MIT AI-Lab., 1978
Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press Series in Computer Science, Cambridge, Mass., 1977
Wegner, P.: Three Computer Cultures.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lippe, W.M., Simon, F. (1980). Semantics for lisp without reference to an interpreter. In: Robinet, B. (eds) International Symposium on Programming. Programming 1980. Lecture Notes in Computer Science, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09981-6_17
Download citation
DOI: https://doi.org/10.1007/3-540-09981-6_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09981-9
Online ISBN: 978-3-540-39233-0
eBook Packages: Springer Book Archive