Computational reflection

@article{Maes1988ComputationalR,
  title={Computational reflection},
  author={Pattie Maes},
  journal={The Knowledge Engineering Review},
  year={1988},
  volume={3},
  pages={1 - 19}
}
  • P. Maes
  • Published 28 September 1987
  • Computer Science
  • The Knowledge Engineering Review
Abstract Computational reflection is the activity performed by a computational System when reasoning about (and by that possibly affecting) itself. This paper presents an introduction to computational reflection (thereafter called reflection). A definition of reflection is presented, its utility for knowledge engineering is discussed and architectures of languages that support it are studied. Examples of such procedural, logic-based, rule-based and object-oriented languages are presented. The… 

Concepts and experiments in computational reflection

  • P. Maes
  • Computer Science
    OOPSLA '87
  • 1987
TLDR
An original experiment to introduce a reflective architecture in an object-oriented language is described and the new programming style made possible and examples show that a lot of programming problems that were previously handled on an ad hoc basis, can in a reflective Architecture be solved more elegantly.

COMPUT ATIONAL REFLECTION

TLDR
This paper brings some perspective to various concepts in computational reflection, including the concept of a language with a reflective architecture, which is a language designed to support reflection, and some experiments in reflection which have been performed.

Reflection as a Tool for Integration: An Exercise in Procedural Introspection

This paper reports on a quite large experience in implementing a procedurally introspective system (PIS), ALICE, in which a well known problem is faced: the integration between LISP and Horn clauses.

Inter-language reflection: A conceptual model and its implementation

Computational reflection in class based object-oriented languages

TLDR
A model of computational reflection where meta-objects are instances of a class META-OBJECT or of one of its subclasses is introduced, showing that it is important to differentiate between structural reflection and computational reflection.

An Example for Concurrent Reflective Computations in Rewriting Logic

TLDR
This paper provides some basic considerations on methods of modelling the group-wide architecture in rewriting logic and a brief proof that the metalevel group of terms correctly represents the operational semantics of the group in terms of transitions of configurations.

Reflective Computations in Rewriting Logic

TLDR
This paper provides some basic considerations on methods of modelling the group-wide architecture in rewriting logic and a brief proof that the metalevel group of terms correctly represents the operational semantics of the group in terms of transitions of configurations.

A Conceptual Modelling Framework for Knowledge-level Reflection

TLDR
A broad comparison with notions of reflection in logic and computational reflection clarifies the distinctiveness of the notion of knowledgelevel reflection and investigates some of the architectural options that are open for its realisation in knowledge systems.

Knowledge-Level Reflection

This paper presents an overview of the REFLECT project. It defines the notion of knowledge level reflection that has been central to the project, it compares this notion with existing approaches to

Reflection in an object-oriented concurrent language

TLDR
This work discusses the notion of reflection in object-oriented concurrent computation and presents a reflective object- oriented concurrent language ABCL/R, and gives several illustrative examples of reflective programming such as dynamic concurrent acquisition of “ methods” from other objects.
...

References

SHOWING 1-10 OF 25 REFERENCES

Concepts and experiments in computational reflection

  • P. Maes
  • Computer Science
    OOPSLA '87
  • 1987
TLDR
An original experiment to introduce a reflective architecture in an object-oriented language is described and the new programming style made possible and examples show that a lot of programming problems that were previously handled on an ad hoc basis, can in a reflective Architecture be solved more elegantly.

Computational reflection in class based object-oriented languages

TLDR
A model of computational reflection where meta-objects are instances of a class META-OBJECT or of one of its subclasses is introduced, showing that it is important to differentiate between structural reflection and computational reflection.

Reification: Reflection without metaphysics

We consider how the data structures of an interpreter may be made available to the program it is running, and how the program may alter its interpreter's structures. We refer to these processes as

The FRL Primer

TLDR
FRL extends the traditional Property List representation scheme by allowing properties to have comments, defaults and constraints, to inherit information from abstract forms of the same type, and to have attached procedures triggered by adding or deleting values, or if a value is needed.

RLL-1: A Representation Language Language

TLDR
The components of representation languages in general and of RLL-1 itself, in particular, are encoded declaratively as frames, and by modifying these frames, the user can change the semantics of R LL-1's components, and significantly alter the overall character of the Rll-1 environment.

A framework for representing knowledge

The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language

TLDR
This paper presents the ObjVlisp model designed to experiment and synthesize the expanding activities of the Object Oriented world, and proposes a uniication of the metaclass, class and object concepts which allows an optimal uniformity.

Smalltalk-80: The Language and Its Implementation

TLDR
This book is the first detailed account of the Smalltalk-80 system and is divided into four major parts: an overview of the concepts and syntax of the programming language, a specification of the system's functionality, and an example of the design and implementation of a moderate-size application.