From: IN%"peter@Nexus.YorkU.CA" "Peter Roosen-Runge" 18-JAN-1990 20:55:57.83 To: cs100006@YUSol CC: Subj: Return-path: peter@Nexus.YorkU.CA Thu, 18 Jan 90 20:55 EDT Received: from YUOrion by VM1.YORKU.CA (Mailer R2.02A) with BSMTP id 6200; Thu, 18 Jan 90 20:51:51 EST Received: from nexus.yorku.ca by Orion.YorkU.CA; Thu, 18 Jan 90 20:54 EDT Date: Thu, 18 Jan 90 20:46:55 EST From: Peter Roosen-Runge To: cs100006@YUSol Path: yunexus!ists!helios.physics.utoronto.ca!jarvis.csri.toronto.edu!cs.utexas. edu!tut.cis.ohio-state.edu!ucbvax!MBUNIX.MITRE.ORG!rh From: rh@MBUNIX.MITRE.ORG (Richard Hilliard) Newsgroups: comp.theory Subject: REFERENCES on Reflection Message-ID: Date: 18 Jan 90 00:18:47 GMT Article-I.D.: lyra.RH.89Nov14113420 Posted: Wed Jan 17 19:18:47 1990 Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Richard Hilliard Lines: 140 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. Ersho 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