{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:24:30Z","timestamp":1726406670544},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099819"},{"type":"electronic","value":"9783540392330"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-09981-6_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:56:07Z","timestamp":1330188967000},"page":"240-255","source":"Crossref","is-referenced-by-count":0,"title":["Semantics for lisp without reference to an interpreter"],"prefix":"10.1007","author":[{"given":"W. M.","family":"Lippe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"17_CR1","unstructured":"Berry, D.M.: Block Structure: Retention or Deletion. Proc. of the Third Annual ACM Symp. on Theory of Computing, 1971"},{"key":"17_CR2","first-page":"10","volume":"4","author":"D. G. Bobrow","year":"1973","unstructured":"Bobrow, D.G., Wegbreit, B.: A Model and Stack Implementation of Multiple Environments. CACM 4, 10, 1973","journal-title":"CACM"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Fischer, M.J.: Lambda Calculus Schemata. SIGPLAN Notices 7 (1), 1972","DOI":"10.1145\/942578.807077"},{"key":"17_CR4","unstructured":"Friedman, D.P., Wise, D.S.: CONS should not Evaluate its Arguments. Third ICALP, Edinburgh, 1976"},{"key":"17_CR5","unstructured":"Gordon, M.J.C.: Models of Pure LISP (a worked example in semantics). Dept. of Machine Intelligence, Univ. of Edinburgh, Rep. 31, 1973"},{"key":"17_CR6","unstructured":"Greussay, P.: Contribution \u00e0 la d\u00e9finition interpr\u00e9tative et \u00e0 l'implementation des \u03bb-languages. Th\u00e8se \u00e8s Sciences, Paris VII, 1977."},{"key":"17_CR7","unstructured":"Hesse, W.: Two-level Graph Grammars. Technische Universit\u00e4t M\u00fcnchen, TUM-INFO-7833, 1978"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. CACM 12, 1969","DOI":"10.1145\/363235.363259"},{"key":"17_CR9","unstructured":"Kaufholz, G., Lippe, W.M.: A Note on a Paper of H. Langmaack about Correct Procedure Parameter Transmission. Universit\u00e4t des Saarlandes, Bericht Nr. A 74\/06, 1974"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Langmaack, H.: On Correct Procedure Parameter Transmission in Higher Programming Languages. Acta Informatica 2, 1973","DOI":"10.1007\/BF00264026"},{"key":"17_CR11","unstructured":"Lippe, W.M.: \u00dcber die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen."},{"key":"17_CR12","unstructured":"Lippe, W.M., Simon, F.: LISP\/N \u2014 Basic Definitions and Properties. Bericht Nr. 4\/79 des Instituts f\u00fcr Informatik und Praktische Mathematik der Universit\u00e4t Kiel"},{"key":"17_CR13","unstructured":"McCarthy, J. et al.: LISP 1.5 Programmer's Manual. MIT Press, Cambridge, Mass., 1966"},{"key":"17_CR14","unstructured":"McCarthy, J.: A New EVAL Function. MIT Artificial Intelligence Memo No. 34"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/942578.807085"},{"key":"17_CR16","unstructured":"Moses, J.: The Function of FUNCTION in LISP. SIGSAM Bull. 15, 1970"},{"key":"17_CR17","unstructured":"Perrot, J.F.: LISP et \u03bb-calcul. in: B. Robinet (Ed.) Lambda Calcul et S\u00e9mantique Formelle des Langages de Programmation, Paris, 1979"},{"key":"17_CR18","unstructured":"Robinet, B.: Petit precis de lambda-calcul. Ecole de l'IRIA: Implementation et Interpr\u00e8tation des LISP, Toulouse, 1978"},{"key":"17_CR19","unstructured":"Sandewall. E.: A Proposed Solution to the FUNARG Problem. Uppsala Univ. Dept. of Comp. Sci., Rep. 28, 1970"},{"key":"17_CR20","unstructured":"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"},{"key":"17_CR21","unstructured":"Simon, F.: Zur Charakterisierung von LISP als ALGOL-\u00e4hnliche Programmiersprache mit einem strikt nach dem Kellerprinzip arbeitenden Laufzeitsystem. Dissertation, Kiel, 1978"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Simon, F.: Cons-freies Programmieren in LISP unter deletion-Strategie. in: Informatik Fachberichte, Bd. 1, Springer Verlag, 1976","DOI":"10.1007\/978-3-642-66319-2_11"},{"key":"17_CR23","unstructured":"Simon, F., Trademann, P.: Eine Beziehung zwischen consfreiem LISP und Stackautomaten. Journal of Information Processing and Cybernetics (EIK), Vol. 14, No. 12, 1978"},{"key":"17_CR24","unstructured":"Smith, D.C.: MLISP. Stanford Artificial Intelligence Project Memo AIM-135, Computer Science Department Report No. CS 179, Oktober 1970"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Steele, G.J. Jr.: Macaroni is Better than Spaghetti. Proc. of the Symp. on AI and Progr. Lang., ACM, 1977","DOI":"10.1145\/800228.806933"},{"key":"17_CR26","unstructured":"Steele, G.J. Jr., Sussman, G.J.: The Art of the Interpreter or the Modularity Complex. AI Memo No. 453, MIT AI-Lab., 1978"},{"key":"17_CR27","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press Series in Computer Science, Cambridge, Mass., 1977"},{"key":"17_CR28","unstructured":"Wegner, P.: Three Computer Cultures."}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09981-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:03Z","timestamp":1605643323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09981-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099819","9783540392330"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-09981-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}