Author:
Watanabe Takuo,Yonezawa Akinori
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Smith, B.C.: Reflection and semantics in a procedural language. Technical Report TR-272, Laboratory for Computer Science, MIT (1982)
2. Maes, P.: Computational reflection. Technical Report 87-2, Artificial Intelligence Laboratory, Vrije Universiteit Brussel (1987)
3. Smith, B.C.: Reflection and semantics in Lisp. In: Proceedings of ACM Symposium on Principles of Programming Languages (POPL), pp. 23–35 (1984)
4. Friedman, D.P., Wand, M.: Reification: Reflection without metaphysics. In: Proceedings of Lisp and Functional Programming, pp. 348–355. ACM (1984)
5. Weyrauch, R.: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence 13(1,2), 133–170 (1980)