rh@MBUNIX.MITRE.ORG (Richard Hilliard) (01/18/90)
I posted a query last month asking about work on attempts to formalize
the notion "reflection". Thanks to all who replied. Below is a list
references on its formalization, as well as other aspects of
reflection.
REFERENCES
Aiello, Luigia, Carlo Cecchi, and Dario Sartini, "Representation and
Use of Metaknowledge," Proceedings of the IEEE, 74 (10), October 1986.
Aiello, L., and R. W. Weyhrauch, "Using Meta-theoretic Reasoning to do
Algebra," Proc. 5th Conference on Automated Deduction, LNCS 87, New
York: Springer-Verlag, 1980.
Bawden, Alan, "Reification without Evaluation," Conference Record of
the 1988 ACM Symposium on Lisp and Functional Programming.
Caseau, Yves, "A model for a reflective object-oriented language," ACM
SIGPLAN Notices, Vol. 24, no. 4 (April 1989).
Danvy, Olivier and Karoline Malmkjaer, "Intensions and Extensions in a
Reflective Tower," Conference Record of the 1988 ACM Symposium on Lisp
and Functional Programming.
Danvy, O., "Across the Bridge between Reflection and Partial
Evaluation," Partial Evaluation and Mixed Computation, D. Bjorner,
A. P. Ershov and N. D. Jones (Editors), Elsevier Science Publishers B.
V. (North-Holland) IFIP, 1988.
des Rivieres, J. and B. C. Smith, "The implementation of procedurally
reflective languages," Conference Record of the 1984 ACM Symposium on
Lisp and Functional Programming, Austin, Texas (August 1984).
Feferman, S., "Transfinite recursive progressions of axiomatic
theories," J. Sym. Logic 27, 259-316 (1962).
Felleisen, M., The calculi of lambda-v-cs conversion: A syntactic
theory of control and state in imperative higher-order programming
languages. Ph.D. thesis, Indiana University, 1987.
Ferber, Jacques, "Computational Reflection in Class based Object
Oriented Languages," OOPSLA'89 Proceedings, SIGPLAN Notices, Vol. 24,
no. 10 (October 1989).
Friedman, D. P., and M. Wand, "Reification: Reflection without
Metaphysics," Conference Record of the 1984 ACM Symposium on LISP and
Functional Programming, Austin Texas (August 1984).
Foote, Brian and Ralph Johnson, "Reflective Facilities in Smalltalk-80,"
OOPSLA'89 Proceedings, SIGPLAN Notices, Vol. 24, no. 10 (October 1989).
H. Gazinger and N. D. Jones, Programs as Data Objects: proceedings of
a workshop. Springer-Verlag, 1986.
Graube, Nicolas, "Metaclass Compatibility," OOPSLA'89 Proceedings,
SIGPLAN Notices, Vol. 24, no. 10 (October 1989).
Maes, Pattie, "Concepts and experiments in computational reflection,"
OOPSLA '87 Proceedings, SIGPLAN Notices, Vol. 22, no. 12, (December
1987).
Maes, P. and D. Nardi (eds.), Meta-Level Architectures and Reflection.
North-Holland, Amsterdam, 1988.
Mason, I. A. and C. Talcott, "Programming, transforming and proving
with function abstractions and memories," submitted to Logic and
Computer Science, 1988.
Perlis, Donald, "Languages with self-reference I: Foundations (or: We
can have everything in first-order logic!)" Artificial Intelligence 25
(1985) 301-322.
Perlis, D., "Languages with self-reference II: Knowledge, Belief, and
Modality," Artificial Intelligence 34 (1988) 179-212.
Pfenning, Frank and Peter Lee, "Metacircularity in the Polymorphic
Lambda-Calculus," TAPSOFT '89 (revised version to appear in
Theoretical Computer Science).
Pierce, Benjamin, Scott Dietzen and Spiro Michaylov, Programming in
Higher-Order Typed Lambda-Calculi. Carnegie Mellon Computer Science
Department report CMU-CS-89-111, March 1989.
Smith, Brian C., "Varieties of Self-Reference," Theoretical Aspects of
Reasoning about Knowledge, Los Altos, California: Morgan Kaufman
(March 1986).
Smith, B. C., Reflection and Semantics in a Procedural Language. MIT
Laboratory for Computer Science, Technical Report 272, 1982.
Smith, B. C., "Reflection and Semantics in Lisp," Conference Record of
the 14th Annual ACM Symposium on Principles of Programming Languages,
Salt Lake City, Utah (January 1984).
Talcott, Carolyn, Rum: "An intensional theory of function and control
abstractions," Workshop on Functional and Logic Programming, Trento
Italy, December 1986, LNCS to appear, Springer-Verlag.
Talcott, C. and R. W. Weyhrauch, "Partial evaluation, higher-order
abstractions and reflection principles as system building tools,"
Partial Evaluation and Mixed Computation, D. Bj?rner, A. P. Ershov
and N. D. Jones (Editors), Elsevier Science Publishers B. V.
(North-Holland) IFIP, 1988.
Wand, M., and D. P. Friedman, "The mystery of the tower revealed: a
non-reflective description of the reflective tower," Conference Record
of the 1986 ACM Symposium on Lisp and Functional Programming,
Cambridge, Massachusetts (August 1986).
Watanabe, Takuo and Akinori Yonezawa, "Reflective Computation in
Object-Oriented Concurrent Systems and Its Applications," ACM SIGSOFT
Engineering Notes, Vol. 14, no. 3 (May 1989).
Watanabe, Takuo and Akinori Yonezawa, "Reflection in an
object-oriented concurrent language," ACM SIGPLAN Notices, Vol. 23,
No. 11, 306-315 (Nov. 1988).
Weyhrauch, Richard. W., "Prolegomena to a Theory of Mechanized Formal
Reasoning," Artificial Intelligence, vol. 13, no. 1,2. North-Holland,
Amsterdam.
Weyhrauch, R. W., "An Example of FOL Using Metatheory," 6th Conference
on Automated Deduction, New York, USA June 7-9, 1982, LNCS 138, New
York: Springer-Verlag, 1982.
Zalta, Intensional Logic, MIT Press, 1989.
--
Rich Hilliard
The MITRE Corporation (M/S A156)
Bedford, MA 01730
(617) 271-7760
Internet: rh@mbunix.mitre.org
UUCP: {decvax, philabs}!linus!rh