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

806 The Art of the Metaobject Protocol – G Kiczales, J des Rivieres, D G Bobrow - 1991
462 Concepts and experiments in computational reflection – Pattie Maes - 1987
43 Transparency and Reflection in Distributed Systems – Robert J Stroud - 1992
53 Metatheory and Reflection in Theorem Proving: A Survey and Critique – John Harrison - 1995
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
190 Reflection and semantics in lisp – B C Smith - 1984
113 Metaclasses are first class: the ObjVLisp model – Pierre Cointe - 1987
12 A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler – Luis Rodriguez - 1992
10 Channel Reification: a reflective approach to fault-tolerant software development – M. Ancona, W. Cazzola, G. Dodero, V. Gianuzzi - 1995
4 Transparency and Re in Distributed Systems – Robert J Stroud - 1992
10 Concepts and Experiments in Computational Re – P Maes - 1987
277 A Metaobject Protocol for C++ – Shigeru Chiba - 1995
20 Evaluation of Object-Oriented Reflective Models – Walter Cazzola - 1998
6 A system for multi-level reasoning – Fausto Giunchiglia, Paolo Traverso, Alessandro Cimatti, Paolo Pecchiari - 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