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

Active Bibliography

12 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
3 Reflection and open implementations – Éric Tanter - 2009
10 A Semantics of Introspection in a Reflective Prototype-Based Language – Jacques Malenfant, Christophe Dony, Pierre Cointe - 1996
Interpretational Overhead in system software – Boris Feigin - 2011
10 Meta-reasoning: a Survey – Stefania Costantini - 2002
96 How to Declare an Imperative – Philip Wadler - 1995
7 Language Extension via First-class Interpreters – John Wiseman Simmons, II, Stanley Jefferson, Daniel P. Friedman - 1992
A Reflective System is as Extensible as its Internal Representations: An Illustration – John Wiseman Simmons, II, John Wiseman, Simmons Ii, Daniel P. Friedman - 1992
First-class Interpreters: Illustrating the Limits Imposed by Representation in a Reflective Language – John Wiseman Simmons, II, John Wiseman, Simmons Ii, Daniel P. Friedman - 1993
Actor Reflection without Meta-Objects – Tomoyuki TANAKA - 1991
The Next 700 Reflective Object-Oriented Languages – Remi Douence, Mario Südholt - 1999
13 Language Features for Re-use and Extensibility in Concurrent Object-Oriented Programming Languages – Satoshi Matsuoka - 1993
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
1 Metaobject Protocols For Distributed Programming – Renaud Pawlak - 1998
4 Run-Time Evolution through Explicit Meta-Objects ⋆ – Jorge Ressia, Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
15 Reducibility and ⊤⊤-lifting for computation types – Sam Lindley, Ian Stark - 2005
Metaclasses and Reflection in Smalltalk – A.N. Clark - 1997
2 Language Extensibility via First-class Interpreters and Constructive Modules – David Espinosa - 1993