Maes, P.: Computational Reflection. PhD thesis, Vrije Universiteit Brussel, Faculteit Wetenschappen, Dienst Artificiele Intelligentie, Brussel (1986) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reflection Principles in Computational Logic - Barklund, Dell'Acqua, Costantini (1997) (Correct)
....of theorems are given in the Appendix. 2 Reflection and Reflection Principles 2. 1 Background In this section we recall the concepts we will be introducing and discussing, giving a basic historical background and perspective of the state of the art on these topics (the reader may also refer to [1, 3, 13, 32, 50, 57] for an overview. A computational system is a system that reasons and acts upon some domain. The system represents (some of the features of) its domain under the form of data, and prescribes how these data should be manipulated. The system is causally connected (to its domain) if the system and ....
P. Maes. Computational Reflection. PhD thesis, Vrije Universiteit Brussel, Faculteit Wetenschappen, Dienst Artificiele Intelligentie, Brussel, 1986.
A reflective Object Model - Sonntag (Correct)
....that represents all of the otherwise implicit information about its structure and its way of handling messages. Implementing this model of reflection gives the ability to define new features not initially present in the system, e.g. multi inheritance, interface programming, debugging tools, etc. [20]) This kind of reflection is further discussed in [21] Further [8] introduces three models of computational reflection thus: 4 ffl the metaclass model which is based on an equivalence between the meta object and the class of an object. ffl the specific meta object model where meta objects ....
....Objects representing messages are special objects. They offer methods for sending messages. These methods cannot be called using the same mechanisms than native objects call methods. Therefore this possibility will be excluded in this paper. There are some language systems (CLOS [25] 3KRS [20], ObjVLisp [5] Smalltalk 80 [10] with other models of reflection. They are designed and implemented with different system requirements and show the advantages and disadvantages of the different kinds of reflection. Smalltalk 80 implements the meta class model. A meta class controls the ....
Patricia Maes. omputational Reflection. PhD thesis, Vrije Universiteit Brussel, Faculteit Wetenschappen, Dienst artificiele Intelligentie, 1987.
Adaptability Using Reflection - Sonntag, Härtig, Kowalski.. (1994) (4 citations) (Correct)
....of the language system can define how an object will be constructed. The Smalltalk 80 programmer uses this definition implicitly by specifying the key word class. The CLOS [11] programmer is given constructs to define and use meta classes to change the semantics of language constructs. 3 KRS [12] in addition, provides access to the reflective facilities at runtime. It is an interpreter system. The designer of a reflective system faces a number of questions [13] ffl What should be reflected upon Which part of an object should could be changed by an operating system ffl How is the ....
Patricia Maes. Computational Reflection. PhD thesis, Vrije Universiteit Brussel, Faculteit Wetenschappen, Dienst artificiele Intelligentie, 1987.
Meta-reasoning: a Survey - Costantini (2002) (Correct)
No context found.
Maes, P.: Computational Reflection. PhD thesis, Vrije Universiteit Brussel, Faculteit Wetenschappen, Dienst Artificiele Intelligentie, Brussel (1986)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC