Article

Free access

Reification without evaluation

Author:

Alan BawdenAuthors Info & Claims

LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming

Pages 342 - 349

https://doi.org/10.1145/62678.62726

Published: 01 January 1988 Publication History

PDF eReader

References

[1]

J. des Rivi~res and B. C. Smith. The ~mplemcntation of proceduraJly reflective languages. In Pvoc. Symposium on Lisp and Functional Programming, pages 331-347, ACM, August 1984.

Digital Library

Google Scholar

[2]

D. P. Friedman and M. Wand. P~eification: Reflection without metaphysics. In Proc. Symposium on Lisp and Functional Programming, pages 348-355, ACM, August 1984.

Digital Library

Google Scholar

[3]

Jonathan Rees and William Clinger. Reviseda Report on the Algorithmic Language Scheme. Memo 848a, MIT AI Lab, September 1986.

Google Scholar

[4]

B. C. Smith. Reflection and Semantics in a Procedural Language. TR 272, MiT LCS, January 1982.

Google Scholar

[5]

B. C. Smith. Reflection and semantics in Lisp. In Proc. Symposium on Principles of Programming Languages, pages 23- 35, ACM, January 1984.

Digital Library

Google Scholar

[6]

Guy L. Steele Jr. LAMBDA: The Ultimate Declarative. Memo 379, MIT AI Lab, November 1976.

Digital Library

Google Scholar

[7]

M. Wand e~nd D. P. Fr~edman. The mystery of the tower revealed: a non-reflective description of the reflective tower. In Proc. Symposium on Lisp and Functional Programming, pages 298-307, ACM, August 1986.

Digital Library

Google Scholar

Cited By

View all

KISELYOV O(2020)Many more predecessors: A representation workoutJournal of Functional Programming10.1017/S095679682000009X30Online publication date: 30-Mar-2020
https://doi.org/10.1017/S095679682000009X
Danvy OShan CZerny I(2009)J Is for JavaScriptProceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages10.1007/978-3-642-03034-5_1(1-19)Online publication date: 2-Jul-2009
https://dl.acm.org/doi/10.1007/978-3-642-03034-5_1
Donkervoet BAgha G(2007)Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed MonitoringFormal Methods for Components and Objects10.1007/978-3-540-74792-5_11(246-265)Online publication date: 2007
https://doi.org/10.1007/978-3-540-74792-5_11
Show More Cited By

Index Terms

Reification without evaluation
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language types
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Reification: Reflection without metaphysics
LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming

We consider how the data structures of an interpreter may be made available to the program it is running, and how the program may alter its interpreter's structures. We refer to these processes as reification and reflection. We show how these processes ...
Relationship Reification: A Temporal View
CAiSE '99: Proceedings of the 11th International Conference on Advanced Information Systems Engineering

Relationship reification is a well-known schema transformation in conceptual modeling of information systems. Traditionally, reification has been studied only for single state conceptual models. We show that these conceptual models and reification are ...
A Generic Reification Technique for Object-Oriented Reflective Languages

Computational reflection is gaining interest in practical applications as witnessed by the use of reflection in the Java programming environment and recent work on reflective middleware. Reflective systems offer many different reflection programming ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming

January 1988

351 pages

ISBN:089791273X

DOI:10.1145/62678

Chairman:
Jerome Chailloux
INRIA, Rocquencourt

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: 01 January 1988

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

LISP88

Sponsor:

LISP88: Lisp & Functional Programming 88

July 25 - 27, 1988

Utah, Snowbird, USA

Acceptance Rates

Overall Acceptance Rate 30 of 109 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
395
Total Downloads

Downloads (Last 12 months)22
Downloads (Last 6 weeks)6

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

KISELYOV O(2020)Many more predecessors: A representation workoutJournal of Functional Programming10.1017/S095679682000009X30Online publication date: 30-Mar-2020
https://doi.org/10.1017/S095679682000009X
Danvy OShan CZerny I(2009)J Is for JavaScriptProceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages10.1007/978-3-642-03034-5_1(1-19)Online publication date: 2-Jul-2009
https://dl.acm.org/doi/10.1007/978-3-642-03034-5_1
Donkervoet BAgha G(2007)Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed MonitoringFormal Methods for Components and Objects10.1007/978-3-540-74792-5_11(246-265)Online publication date: 2007
https://doi.org/10.1007/978-3-540-74792-5_11
Donkervoet BAgha G(2006)Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoringProceedings of the 5th international conference on Formal methods for components and objects10.5555/1777707.1777723(246-265)Online publication date: 7-Nov-2006
https://dl.acm.org/doi/10.5555/1777707.1777723
Fisher DShivers O(2006)Static analysis for syntax objectsACM SIGPLAN Notices10.1145/1160074.115981741:9(111-121)Online publication date: 16-Sep-2006
https://dl.acm.org/doi/10.1145/1160074.1159817
Fisher DShivers OReppy JLawall J(2006)Static analysis for syntax objectsProceedings of the eleventh ACM SIGPLAN international conference on Functional programming10.1145/1159803.1159817(111-121)Online publication date: 17-Sep-2006
https://dl.acm.org/doi/10.1145/1159803.1159817
Glenstrup AJones N(2005)Termination analysis and specialization-point insertion in offline partial evaluationACM Transactions on Programming Languages and Systems10.1145/1108970.110897327:6(1147-1215)Online publication date: 1-Nov-2005
https://dl.acm.org/doi/10.1145/1108970.1108973
Robertson P(2001)An Architecture for Self-Adaptation and Its Application to Aerial Image UnderstandingSelf-Adaptive Software10.1007/3-540-44584-6_15(199-223)Online publication date: 13-Jul-2001
https://doi.org/10.1007/3-540-44584-6_15
Robertson PLaddaga RShrobe H(2001)Introduction: The First International Workshop on Self-Adaptive SoftwareSelf-Adaptive Software10.1007/3-540-44584-6_1(1-10)Online publication date: 13-Jul-2001
https://doi.org/10.1007/3-540-44584-6_1
Ganz SFriedman DWand M(1999)Trampolined styleACM SIGPLAN Notices10.1145/317765.31777934:9(18-27)Online publication date: 1-Sep-1999
https://dl.acm.org/doi/10.1145/317765.317779
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Reification: Reflection without metaphysics

Relationship Reification: A Temporal View

A Generic Reification Technique for Object-Oriented Reflective Languages