Loading...
Please wait, while we are loading the content...
Similar Documents
Integrating reflection, strong typing and static checking (1993).
| Content Provider | CiteSeerX |
|---|---|
| Author | Stemple, D. Morrison, R. Kir, G. N. C. Connor, R. C. H. Mccarthy, Mae+ |
| Abstract | We define and present the computational structure of linguistic reflection as the ability of a running program to generate new program fragments and to integrate these into its own execution. The integration of this kind of reflection with compiler based, strongly typed programming languages is described. This integration is accomplished in a manner that preserves strong typing and does not unduly limit the amount of static type checking that can be performed. The benefits that accrue to linguistic reflection in the area of database and persistent programming languages are outlined and two examples are given. |
| File Format | |
| Publisher Date | 1993-01-01 |
| Access Restriction | Open |
| Subject Keyword | Strong Typing Static Checking Linguistic Reflection Static Type Computational Structure Persistent Programming Language New Program Fragment |
| Content Type | Text |