Article

Free access

Reflection and semantics in LISP

Author:

Brian Cantwell SmithAuthors Info & Claims

POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Pages 23 - 35

https://doi.org/10.1145/800017.800513

Published: 15 January 1984 Publication History

PDF eReader

References

[1]

Batali, J., "Computational Introspection", M.I.T. Artificial Intelligence Laboratory Memo AIM-TR-701 (1983).

Google Scholar

[2]

desRevières, J. "The Implementation of Procedurally Reflective Languages", (forthcoming).

Google Scholar

[3]

Doyle, J., A Model for Deliberation, Action, and Introspection, M.I.T. Artificial Intelligence Laboratory Memo AIM-TR-581 (1980).

Digital Library

Google Scholar

[4]

Fodor, J. "Methodological Solipsism Considered as a Research Strategy in Cognitive Psychology", The Behavioural and Brian Sciences, 3:1 (1980) pp. 63-73; reprinted in Fodor, J., Representations, Cambridge: Bradford (1981).

Crossref

Google Scholar

[5]

Genesereth, M., and Lenat, D. R., "self-Description and Modification in a Knowledge Representation Language", Heuristic Programming Project Report HPP-80-10, Stanford University CS Dept., (1980).

Google Scholar

[6]

McCarthy, J. et al., LISP 1.5 Programmer's Manual, Cambridge, Mass.: The MIT PRess (1965).

Digital Library

Google Scholar

[7]

Smith, B., Reflection and Semantics in a Procedural Language, M.I.T. Laboratory for Computer Science Report MIT-TR-272 (1982).

Google Scholar

[8]

Smith, B. and desRivières, J. "Interim 3-LISP Reference Manual", Xerox PARC Report CIS-nn, Palo Alto (1984. forthcoming).

Google Scholar

[9]

Steele, G., "LAMBDA: The Ultimate Declarative", M.I.T. Artificial Intelligence Laboratory Memo AIM 379 (1976).

Digital Library

Google Scholar

[10]

Steele, G., and Sussman, G. "The Revised Report on SCHEME, a Dialect of LISP", M.I.T. Artificial Intelligence Laboratory Memo AIM-452, (1978a).

Google Scholar

[11]

Steele, G., and Sussman, G. "The Art of the Interpreter, or, The Modularity Complex (Parts Zero, One, and Two)", M.I.T. Artificial Intelligence Laboratory Memo AIM-453, (1978b).

Digital Library

Google Scholar

[12]

Weyhrauch, R. W., "Prologemona to a Theory of Mechanized Formal Reasoning", Artificial Intelligence 13:1,2 (1980) pp. 133-170.

Google Scholar

Cited By

View all

Lewis PSarkadi Ş(2024)Reflective Artificial IntelligenceMinds and Machines10.1007/s11023-024-09664-234:2Online publication date: 18-May-2024
https://doi.org/10.1007/s11023-024-09664-2
Esterle LDutt NGruhl CLewis PMarcenaro LRegazzoni CJantsch A(2023)Self-awareness in Cyber-Physical Systems: Recent Developments and Open Challenges2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10137197(1-6)Online publication date: Apr-2023
https://doi.org/10.23919/DATE56975.2023.10137197
Yamazaki TNakamaru TShioya RUgawa TChiba S(2023)Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?Proceedings of the ACM on Programming Languages10.1145/35912447:PLDI(591-614)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591244
Show More Cited By

Index Terms

Reflection and semantics in LISP
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

The evolution of Lisp
History of programming languages---II

Lisp is the world's greatest programming language---or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Overall, the evolution of Lisp has been ...
MetaLISP: a representation independent dialect of LISP with reduction semantics
Standard LISP (reprint)

When it was first formulated in 1960, (1) the programming language LISP was a truly machine independent language. However, even the earliest computer implementation encountered problems in input-output control and the handling of free variables which ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

January 1984

302 pages

ISBN:0897911253

DOI:10.1145/800017

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 January 1984

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 824 of 4,130 submissions, 20%

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

307
Total Citations
View Citations
2,670
Total Downloads

Downloads (Last 12 months)312
Downloads (Last 6 weeks)34

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lewis PSarkadi Ş(2024)Reflective Artificial IntelligenceMinds and Machines10.1007/s11023-024-09664-234:2Online publication date: 18-May-2024
https://doi.org/10.1007/s11023-024-09664-2
Esterle LDutt NGruhl CLewis PMarcenaro LRegazzoni CJantsch A(2023)Self-awareness in Cyber-Physical Systems: Recent Developments and Open Challenges2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10137197(1-6)Online publication date: Apr-2023
https://doi.org/10.23919/DATE56975.2023.10137197
Yamazaki TNakamaru TShioya RUgawa TChiba S(2023)Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?Proceedings of the ACM on Programming Languages10.1145/35912447:PLDI(591-614)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591244
Tei KTahara YOhsuga A(2023)Towards Scalable Model Checking of Reflective Systems via Labeled Transition SystemsIEEE Transactions on Software Engineering10.1109/TSE.2022.317440849:3(1299-1322)Online publication date: 1-Mar-2023
https://doi.org/10.1109/TSE.2022.3174408
Cao SSun XWu XBo LLi BWu RLiu WHe BOuyang YLi J(2023)Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)10.1109/ICSE48619.2023.00044(397-409)Online publication date: May-2023
https://doi.org/10.1109/ICSE48619.2023.00044
Costiou SAranega VDenker MFischer BBurgueño LCazzola W(2022)Reflection as a Tool to Debug ObjectsProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567517(55-60)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567517
Jeong HKim HHur J(2022)Exploiting Metaobjects to Reinforce Data Leakage AttacksProceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses10.1145/3545948.3545965(17-29)Online publication date: 26-Oct-2022
https://dl.acm.org/doi/10.1145/3545948.3545965
Nishizaki STakayanagi Y(2022)Extracting Environments from Function ClosuresProceedings of the 2022 11th International Conference on Software and Computer Applications10.1145/3524304.3524313(61-68)Online publication date: 24-Feb-2022
https://dl.acm.org/doi/10.1145/3524304.3524313
Schewe KFerrarotti F(2022)Behavioural theory of reflective algorithms I: Reflective sequential algorithmsScience of Computer Programming10.1016/j.scico.2022.102864223(102864)Online publication date: Nov-2022
https://doi.org/10.1016/j.scico.2022.102864
Cardozo NMens K(2022)Programming language implementations for context-oriented self-adaptive systemsInformation and Software Technology10.1016/j.infsof.2021.106789143:COnline publication date: 1-Mar-2022
https://dl.acm.org/doi/10.1016/j.infsof.2021.106789
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

The evolution of Lisp

MetaLISP: a representation independent dialect of LISP with reduction semantics

Standard LISP (reprint)