1988 · 191 citations · 9 references
ComputingComputer ScienceComputer ArchitectureProgramming LanguagesSystems ProgrammingConcurrent ProgrammingInterpreter DesignObject-oriented ProgrammingConcurrency ModelsConcurrency SemanticsConcurrency TheoryConcurrent ComputationMeta-circular InterpretersObject-oriented ArchitectureObject-oriented Language DesignObjects
Our work is along the line of the work of B. Smith and P. Maes. We first discuss our notion of reflection in object-oriented concurrent computation and then present a reflective object-oriented concurrent language ABCL/R. We give several illustrative examples of reflective programming such as (1) dynamic concurrent acquisition of “methods” from other objects, (2) monitoring the behavior of concurrently running objects, and (3) augmentation of the time warp mechanism to a concurrent system. Also the definition of a meta-circular interpreter of this language is given as the definition of a meta-object. The language ABCL/R has been implemented. All the examples given in this paper are running on our ABCL/R system.
9
David Jefferson · ACM Transactions on Programming Languages and Systems · 1985 · 2.4K citations · Full text
Viewing control structures as patterns of passing messages
Carl Hewitt · Artificial Intelligence · 1977 · 1.2K citations · Full text
Concepts and experiments in computational reflection
Pattie Maes · 1987 · 1K citations
Reflection and semantics in LISP
Brian Cantwell Smith · 1984 · 446 citations
Language Studies, Computer Science, Programming Languages +7
Prolegomena to a theory of mechanized formal reasoning
Richard W. Weyhrauch · Artificial Intelligence · 1980 · 404 citations