Reflection and semantics in LISP

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reflection and semantics in LISP

Full text

Pdf (1.46 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages table of contents

Salt Lake City, Utah, United States

Pages: 23 - 35

Year of Publication: 1984

ISBN:0-89791-125-3

Author

Brian Cantwell Smith

XEROX Pale Alto Research Center, 3333 Coyote Hill Road, Pale Alto, CA and Center for the Study of language and Information, Stantbrd University, Stanford, CA

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGAPL: ACM Special Interest Group on APL Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 117, Citation Count: 84

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800017.800513 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Batali, J., "Computational Introspection", M.I.T. Artificial Intelligence Laboratory Memo AIM-TR-701 (1983).
	2	desRevières, J. "The Implementation of Procedurally Reflective Languages", (forthcoming).
	3	Jon Doyle, A Model for Deliberation, Action, And Introspection, Massachusetts Institute of Technology, Cambridge, MA, 1980
	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).
	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).
	6	John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
	7	Smith, B., Reflection and Semantics in a Procedural Language, M.I.T. Laboratory for Computer Science Report MIT-TR-272 (1982).
	8	Smith, B. and desRivières, J. "Interim 3-LISP Reference Manual", Xerox PARC Report CIS-nn, Palo Alto (1984. forthcoming).
	9	Guy L Steele, LAMBDA: The Ultimate Declarative, Massachusetts Institute of Technology, Cambridge, MA, 1976
	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).
	11	Guy L Steele , Gerald J Sussman, The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two), Massachusetts Institute of Technology, Cambridge, MA, 1978
	12	Weyhrauch, R. W., "Prologemona to a Theory of Mechanized Formal Reasoning", Artificial Intelligence 13:1,2 (1980) pp. 133-170.

CITED BY 84

	Michael Richmond , James Noble, Reflections on remote reflection, Australian Computer Science Communications, v.23 n.1, p.163-170, January-February 2001
	Hidehiko Masuhara , Satoshi Matsuoka , Takuo Watanabe , Akinori Yonezawa, Object-oriented concurrent reflective languages can be implemented efficiently, ACM SIGPLAN Notices, v.27 n.10, p.127-144, Oct. 1992
	Jim des Rivières , Brian Cantwell Smith, The implementation of procedurally reflective languages, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.331-347, August 06-08, 1984, Austin, Texas, United States
	Linda M. Seiter , Jens Palsberg , Karl J. Lieberherr, Evolution of object behavior using context relations, ACM SIGSOFT Software Engineering Notes, v.21 n.6, p.46-57, Nov. 1996
	Rowan Davies , Frank Pfenning, A modal analysis of staged computation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.258-270, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Gail C. Murphy , David Notkin , Kevin Sullivan, Software reflexion models: bridging the gap between source and high-level models, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.18-28, Oct. 1995
	Morry Katz , Daniel Weise, Continuing into the future: on the interaction of futures and first-class continuations, Proceedings of the 1990 ACM conference on LISP and functional programming, p.176-184, June 27-29, 1990, Nice, France
	Alan Mycroft, On integration of programming paradigms, ACM Computing Surveys (CSUR), v.28 n.2, p.309-311, June 1996
	Hidehiko Masuhara , Akinori Yonezawa, Reflection in concurrent object-oriented languages, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
	William J. Tolone , Simon M. Kaplan , Geraldine Fitzpatrick, Specifying dynamic support for collaborative work within WORLDS, Proceedings of conference on Organizational computing systems, p.55-65, August 13-16, 1995, Milpitas, California, United States
	Takuya Katayama , Masato Suzuki, Mechanisms for software process dynamics, Proceedings of the 5th international software process workshop on Experience with software process models, p.78-81, October 10-13, 1989, Kennebunkport, Maine, United States
	Takuo Watanabe , Akinori Yonezawa, Reflection in an object-oriented concurrent language, ACM SIGPLAN Notices, v.23 n.11, p.306-315, Nov. 1988
	Robert Muller, M-LISP: a representation-independent dialect of LISP with reduction semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.4, p.589-616, Oct. 1992
	Philippe Mulet , Jacques Malenfant , Pierre Cointe, Towards a methodology for explicit composition of metaobjects, ACM SIGPLAN Notices, v.30 n.10, p.316-330, Oct. 17, 1995
	T. Watanabe , A. Yonezawa, Reflective computation in object-oriented concurrent systems and its applications, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.56-58, May 1989
	Paul Dourish, Using metalevel techniques in a flexible toolkit for CSCW applications, ACM Transactions on Computer-Human Interaction (TOCHI), v.5 n.2, p.109-155, June 1998
	Olivier Danvy , Karoline Malmkjaer, Intensions and extensions in a reflective tower, Proceedings of the 1988 ACM conference on LISP and functional programming, p.327-341, July 25-27, 1988, Snowbird, Utah, United States
	Yasuhiko Yokote , Mario Tokoro, The new structure of an operating system: the Apertos approach, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	Robert Muller, M-LISP: its natural semantics and equational logic, ACM SIGPLAN Notices, v.26 n.9, p.234-242, Sept. 1991
	Alan Bawden, Reification without evaluation, Proceedings of the 1988 ACM conference on LISP and functional programming, p.342-349, July 25-27, 1988, Snowbird, Utah, United States
	Matthias Felleisen , Mitch Wand , Daniel Friedman , Bruce Duba, Abstract continuations: a mathematical semantics for handling full jumps, Proceedings of the 1988 ACM conference on LISP and functional programming, p.52-62, July 25-27, 1988, Snowbird, Utah, United States
	Julian Padget , Jérôme Chailloux , Thomas Christaller , Ramon DeMantaras , Jeff Dalton , Matthieu Devin , John Fitch , Timm Krumnack , Eugen Neidl , Eric Papon , Stephen Pope , Christian Queinnec , Luc Steels , Herbert Stoyan, Desiderata for the standardization of LISP, Proceedings of the 1986 ACM conference on LISP and functional programming, p.54-66, August 1986, Cambridge, Massachusetts, United States
	Mitchell Wand , Daniel P. Friedman, The mystery of the tower revealed: a non-reflective description of the reflective tower, Proceedings of the 1986 ACM conference on LISP and functional programming, p.298-307, August 1986, Cambridge, Massachusetts, United States
	B. Foote , R. E. Johnson, Reflective facilities in Smalltalk-80, ACM SIGPLAN Notices, v.24 n.10, p.327-335, Oct. 1989
	Gregory T. Sullivan, Aspect-oriented programming using reflection and metaobject protocols, Communications of the ACM, v.44 n.10, p.95-97, Oct. 2001
	William Clinger, The scheme 311 compiler an exercise in denotational semantics, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.356-364, August 06-08, 1984, Austin, Texas, United States
	Rowan Davies , Frank Pfenning, A modal analysis of staged computation, Journal of the ACM (JACM), v.48 n.3, p.555-604, May 2001
	Israel Ben-Shaul , Ophir Holder , Boris Lavva, Dynamic Adaptation and Deployment of Distributed Components In Hadas, IEEE Transactions on Software Engineering, v.27 n.9, p.769-787, September 2001
	Görel Hedin, Attribute extension - a technique for enforcing programming conventions, Nordic Journal of Computing, v.4 n.1, p.93-122, Spring 1997
	Annie Marcoux , Christine Maurel , Frédéric Migeon , Patrick Sallé, Generic operational decomposition for concurrent systems: semantics and reflection, Progress in computer research, Nova Science Publishers, Inc., Commack, NY, 2001
	Kenneth M. Anderson , Susanne A. Sherba , William V. Lepthien, Structure and behavior awareness in themis, Proceedings of the fourteenth ACM conference on Hypertext and hypermedia, August 26-30, 2003, Nottingham, UK
	Cristiano Calcagno , Walid Taha , Liwen Huang , Xavier Leroy, Implementing multi-stage languages using ASTs, Gensym, and reflection, Proceedings of the second international conference on Generative programming and component engineering, p.57-76, September 22-25, 2003, Erfurt, Germany
	David H. Lorenz , John Vlissides, Pluggable reflection: decoupling meta-interface and implementation, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Éric Tanter , Jacques Noyé , Denis Caromel , Pierre Cointe, Partial behavioral reflection: spatial and temporal selection of reification, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Denis Caromel , Ludovic Henrio , Bernard Paul Serpette, Asynchronous and deterministic objects, ACM SIGPLAN Notices, v.39 n.1, p.123-134, January 2004
	Sergei Kojarski , David H. Lorenz, AOP as a first class reflective mechanism, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA
	Yasuhiko Yokote, The Apertos reflective operating system: the concept and its implementation, ACM SIGPLAN Notices, v.27 n.10, p.414-434, Oct. 1992
	Paul Hudak , Lauren Smith, Para-functional programming: a paradigm for programming multiprocessor systems, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.243-254, January 01, 1986, St. Petersburg Beach, Florida
	Wim Codenie , Koen De Hondt , Theo D'Hondt , Patrick Steyaert, Agora: message passing as a foundation for exploring OO language concepts, ACM SIGPLAN Notices, v.29 n.12, p.48-57, Dec. 1994
	João Cachopo, Separation of concerns through semantic annotations, Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington
	Manuel Clavel , José Meseguer, Reflection in conditional rewriting logic, Theoretical Computer Science, v.285 n.2, p.245-288, 28 August 2002
	Mitchell Wand , Gregor Kiczales , Christopher Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.890-910, September 2004
	Motoshi Saeki , Takeshi Hiroi , Takanori Ugai, Reflective specification: applying a reflective language to formal specification, Proceedings of the 7th international workshop on Software specification and design, December 06-07, 1993, Redondo Beach, California
	Uwe Zdun, Supporting incremental and experimental software evolution by runtime method transformations, Science of Computer Programming, v.52 n.1-3, p.131-163, August 2004
	Arthur H. Lee , Joseph L. Zachary, Adding Support for Persistence to CLOS via Its Metaobject Protocol, Lisp and Symbolic Computation, v.10 n.1, p.39-60, June 1997
	Linda M. Seiter , Jens Palsberg , Karl J. Lieberherr, Evolution of Object Behavior Using Context Relations, IEEE Transactions on Software Engineering, v.24 n.1, p.79-92, January 1998
	Gilad Bracha , David Ungar, Mirrors: design principles for meta-level facilities of object-oriented programming languages, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Éric Tanter , Rodolfo Toledo , Guillaume Pothier , Jacques Noyé, Flexible metaprogramming and AOP in Java, Science of Computer Programming, v.72 n.1-2, p.22-30, June, 2008
	Arthur H. Lee , Joseph L. Zachary, Reflections on Metaprogramming, IEEE Transactions on Software Engineering, v.21 n.11, p.883-893, November 1995
	Brian Cantwell Smith, Varieties of self-reference, Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, March 19-22, 1986, Monterey, California
	Yinliang Zhao, Granule-oriented programming (extended abstract), Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA
	Gail C. Murphy , David Notkin , Kevin J. Sullivan, Software Reflexion Models: Bridging the Gap between Design and Implementation, IEEE Transactions on Software Engineering, v.27 n.4, p.364-380, April 2001
	Annie Marcoux , Christine Maurel , Frédéric Migeon , Patrick Sallé, Generic operational decomposition for concurrent systems: semantics and reflection, Progress in computer research, Nova Science Publishers, Inc., Commack, NY, 2001
	David Basin , Manuel Clavel , José Meseguer, Reflective metalogical frameworks, ACM Transactions on Computational Logic (TOCL), v.5 n.3, p.528-576, July 2004
	Denis Caromel , Julien Vayssière, A security framework for reflective Java applications, Software—Practice & Experience, v.33 n.9, p.821-846, 25 July 2003
	Naoyasu Ubayashi , Genki Moriyama , Hidehiko Masuhara , Tetsuo Tamai, A parameterized interpreter for modeling different AOP mechanisms, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Rajeev Kumar , Vikram Agrawal , Anil Mangolia, Realization of multimethods in single dispatch object oriented languages, ACM SIGPLAN Notices, v.40 n.5, p.18-27, May 2005
	Aleksey Nogin , Alexei Kopylov , Xin Yu , Jason Hickey, A computational approach to reflective meta-reasoning about languages with bindings, Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, p.2-12, September 30-30, 2005, Tallinn, Estonia
	Yinliang Zhao, Granule-oriented programming, ACM SIGPLAN Notices, v.39 n.12, December 2004
	Francisco Ortin , Juan Manuel Cueva, Dynamic adaptation of application aspects, Journal of Systems and Software, v.71 n.3, p.229-243, May 2004
	Hiroyuki Miyoshi, From reflection to interaction: an indirect approach to the philosophy of computation, Selected papers from conference on Computers and philosophy, p.33-38, July 01, 2003
	Daniel P. Friedman , Mitchell Wand, Reification: Reflection without metaphysics, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.348-355, August 06-08, 1984, Austin, Texas, United States
	Kohji Tomita , Satoshi Murata , Haruhisa Kurokawa, Self-Description for Construction and Computation on Graph-Rewriting Automata, Artificial Life, v.13 n.4, p.383-396, Fall 2007
	Yasuhiko Yokote , Fumio Teraoka , Atsushi Mitsuzawa , Nobuhisa Fujinami , Mario Tokoro, The muse object architecture: a new operating system structuring concept, ACM SIGOPS Operating Systems Review, v.25 n.2, p.22-46, April 1991
	Robert Harper , Greg Morrisett, Compiling polymorphism using intensional type analysis, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.130-141, January 23-25, 1995, San Francisco, California, United States
	Paul Robertson, Integrating legacy systems with modern corporate applications, Communications of the ACM, v.40 n.5, p.39-46, May 1997
	Shun Yan Cheung , James J. Lu , Catharine M. Wyss, Metadata management and relational databases, Proceedings of the 43rd annual southeast regional conference, March 18-20, 2005, Kennesaw, Georgia
	Paul Dourish, The parting of the ways: divergence, data management and collaborative work, Proceedings of the fourth conference on European Conference on Computer-Supported Cooperative Work, p.215-230, September 10-14, 1995, Stockholm, Sweden
	Rajeev Kumar , Vikram Agrawal, Multiple dispatch in reflective runtime environment, Computer Languages, Systems and Structures, v.33 n.2, p.60-78, July, 2007
	Stijn Mostinckx , Tom Van Cutsem , Stijn Timbermont , Éric Tanter, Mirages: behavioral intercession in a mirror-based architecture, Proceedings of the 2007 symposium on Dynamic languages, October 22-22, 2007, Montreal, Quebec, Canada
	Uwe Zdun , Mark Strembeck , Gustaf Neumann, Object-based and class-based composition of transitive mixins, Information and Software Technology, v.49 n.8, p.871-891, August, 2007
	Magorzata Biernacka , Olivier Danvy, A syntactic correspondence between context-sensitive calculi and abstract machines, Theoretical Computer Science, v.375 n.1-3, p.76-108, May, 2007
	Alan Dearle, Software Deployment, Past, Present and Future, 2007 Future of Software Engineering, p.269-284, May 23-25, 2007
	Mitchell Wand, The Theory of Fexprs is Trivial, Lisp and Symbolic Computation, v.10 n.3, p.189-199, May 1998
	Tanaka Tomoyuki, Actor reflection without meta-objects, ACM SIGPLAN OOPS Messenger, v.2 n.2, p.114-119, Apr. 1991
	Yutaka Ishikawa, Reflection facilities and realistic programming, ACM SIGPLAN Notices, v.26 n.8, p.101-110, Aug. 1991
	A. Yonezawa , T. Watanabe, An introduction to object-based reflective concurrent computation, ACM SIGPLAN Notices, v.24 n.4, p.50-54, April 1989
	Furio Honsell , Alberto Pravato , Simona Ronchi Della Rocca, Structured Operational Semantics of a fragment of the language Scheme, Journal of Functional Programming, v.8 n.4, p.335-365, July 1998
	Rémi Douence , Mario Südholt, A Generic Reification Technique for Object-Oriented Reflective Languages, Higher-Order and Symbolic Computation, v.14 n.1, p.7-34, March 2001
	Brian J. d'Auriol , Pramod Chikkappaiah , Weiwei Yuan , Sungyoung Lee , Young-Koo Lee, Query responsive awareness software: inventory control case study, Proceedings of the 2nd international conference on Ubiquitous information management and communication, January 31-February 01, 2008, Suwon, Korea
	Pascal Costanza , Richard P. Gabriel , Robert Hirschfeld , Guy L. Steele, Jr., Lisp50: The 50th birthday of lisp at OOPSLA 2008, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA
	Denis Caromel , Ludovic Henrio , Bernard Paul Serpette, Asynchronous sequential processes, Information and Computation, v.207 n.4, p.459-495, April, 2009
	Tillmann Rendel , Klaus Ostermann , Christian Hofer, Typed self-representation, ACM SIGPLAN Notices, v.44 n.6, June 2009
	Fausto Giunchiglia , Paolo Traverso, Reflective reasoning with and between a declarative metatheory and the implementation code, Proceedings of the 12th international joint conference on Artificial intelligence, p.111-117, August 24-30, 1991, Sydney, New South Wales, Australia