摘要: This paper brings some perspective to various concepts in computational reflection. A definition of reflection is presented, the importance discussed and architecture languages that support studied. Further, this presents a survey experiments which have been performed. Examples existing procedural, logic-based rule-based with an for are briefly presented. The main part describes original experiment introduce reflective object-oriented language. It stresses contributions language field programming illustrates new style made possible. examples show lot problems were previously handled on ad hoc basis, can be solved more elegantly.
acm.org
sci-hub.se 参考文章(18)
Jean-Pierre Briot, Pierre Cointe, The OBJVLISP model: definition of a uniform, reflexive and extensible object oriented language european conference on artificial intelligence. pp. 225- 232 ,(1986)
Randall Davis, Douglas B. Lenat, Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies McGraw-Hill, Inc.. ,(1982)
Russell Greiner, STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, RLL-1: A Representation Language Language Defense Technical Information Center. ,(1980) , 10.21236/ADA096510
Alan Borning, Tim O’Shea, Deltatalk: an empirically and aesthetically motivated simplification of the Smalltalk-80 language european conference on object-oriented programming. ,vol. 276, pp. 1- 10 ,(1987) , 10.1007/3-540-47891-4_1
Kris Van Marcke, A parallel algorithm for consistency maintenance in knowledge representation european conference on artificial intelligence. pp. 263- 275 ,(1986)
Daniel Weinreb, Lisp machine manual ,(1979)
R. B Roberts, Ira P. Goldstein, The FRL Primer Massachusetts Institute of Technology. ,(1977)
Adele Goldberg, David Robson, Smalltalk-80: The Language and its Implementation ,(1983)
John E. Laird, Paul S. Rosenbloom, Allen Newell, Chunking in Soar: the anatomy of a general learning mechanism Machine Learning. ,vol. 1, pp. 11- 46 ,(1993) , 10.1023/A:1022639103969
Daniel P. Friedman, Mitchell Wand, Reification Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84. pp. 348- 355 ,(1984) , 10.1145/800055.802051