Reflection in logic, functional and object-oriented programming: a Short Comparative Study (1995)

by François-Nicola Demers , Jacques Malenfant
Venue:In IJCAI '95 Workshop on Reflection and Metalevel Architectures and their Applications in AI
Citations:38 - 1 self

Documents Related by Co-Citation

801 The Art of Metaobject Protocol – G Kiczales, D G Bobrow - 1991
460 Concepts and experiments in computational reflection – P Maes - 1987
53 Metatheory and Reflection in Theorem Proving: A Survey and Critique – John Harrison - 1995
43 Transparency and Reflection in Distributed Systems – R J Stroud - 1993
190 Reflection and semantics in lisp – B C Smith - 1984
12 A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler – Luis Rodriguez - 1992
10 Channel Reification: A Reflective Model for Distributed Computation – M. Ancona, W. Cazzola, G. Dodero, V. Gianuzzi - 1998
89 Computational Reflection in Class based Object Oriented Languages – J Ferber - 1989
113 Metaclasses are first class: the ObjVLisp model – Pierre Cointe - 1987
14 Metalogical frameworks II: Using reflected decision procedures. Unpublished Manuscript – William Aitken, Robert Constable, Judith Underwood
6 A system for multi-level reasoning – Fausto Giunchiglia, Paolo Traverso, Alessandro Cimatti, Paolo Pecchiari - 1992
6 Takuo Watanabe, Yuuji Ichisugi, and Akinori Yonezawa. Object-oriented concurrent reflective architectures – Satoshi Matsuoka - 1992
4 Reflection in logical systems – Se'an Matthews - 1992
5 The mystery of the tower revealed – M Wand, D P Friedman - 1988
8 Reflecting the semantics of reflected proof – D J Howe - 1992
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
26 General logics and logical frameworks – N Marti-Oliet, J Meseguer
75 AL-1/D: A Distributed Programming System with Multi-model Reflection Framework – H Okamura, Y Ishikawa, M Tokoro - 1992
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992