Reflective systems allow their own structures to be altered from within. In a programming system reflection can occur in two ways: by a program altering its own interpretation or by it changing itself. Reflection has been used to facilitate the production and evolution of data and programs in database and programming language systems. This paper is concerned with a particular style of reflection, called linguistic reflection, used in compiled, strongly typed languages. Two major techniques for this have evolved: compile-time reflection and run-time reflection. These techniques are described together with a definition and anatomy of reflective systems using them. Two illustrative examples are given and the uses of type-safe reflective techni...
Runtime reflection facilities, as present in Java and.NET, are powerful mechanisms for inspecting ex...
The use of variadic genericity within schema definitions increases the variety of databases that may...
The mechanism of linguistic reflection allows a programming system to generate new program fragments...
Reflective systems allow their own structures to be altered from within. In a programming system ref...
We define and present the computational structure of linguistic reflection as the ability of a runni...
Reflection is a property of application development systems which permits programs to change their o...
The technique of linguistic reflection is of particular interest in persistent systems because it ca...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Reflection has been used to address many different problem areas, and the term reflection has itself...
Computational reflection is a well known technique applied in many existing programming languages ra...
Computational reflection is a well-known technique applied in many existing programming languages ra...
The work presented in this thesis seeks to improve programmer productivity in the following ways: - ...
In programming languages, reflection is the ability to discover and manipulate, at runtime, informat...
We describe a type system for a generative mechanism that generalizes the concept of generic types b...
Runtime reflection facilities, as present in Java and.NET, are powerful mechanisms for inspecting ex...
The use of variadic genericity within schema definitions increases the variety of databases that may...
The mechanism of linguistic reflection allows a programming system to generate new program fragments...
Reflective systems allow their own structures to be altered from within. In a programming system ref...
We define and present the computational structure of linguistic reflection as the ability of a runni...
Reflection is a property of application development systems which permits programs to change their o...
The technique of linguistic reflection is of particular interest in persistent systems because it ca...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Reflection has been used to address many different problem areas, and the term reflection has itself...
Computational reflection is a well known technique applied in many existing programming languages ra...
Computational reflection is a well-known technique applied in many existing programming languages ra...
The work presented in this thesis seeks to improve programmer productivity in the following ways: - ...
In programming languages, reflection is the ability to discover and manipulate, at runtime, informat...
We describe a type system for a generative mechanism that generalizes the concept of generic types b...
Runtime reflection facilities, as present in Java and.NET, are powerful mechanisms for inspecting ex...
The use of variadic genericity within schema definitions increases the variety of databases that may...
The mechanism of linguistic reflection allows a programming system to generate new program fragments...