(Enter summary)
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... (Update)
Context of citations to this paper: More
...of specifications and environments for advanced programming languages. For example, languages with support for features such as reflection [9, 14] (ability to generate and compile code from within an executing program) and hyper programming [5] ability to statically bind...
...Get names for the new classes to be generated. 20 String[ classNames = uniqueId( uniqueId( 21 String[ classDefns = new String[ 2 ]; 22 23 . 24 25 Generate the join algorithm and the result class definition. 26 classDefns[ 0 ] generateJoin( classNames[ 0 ]...
Cited by: More
Linguistic Reflection in Java - Kirby, Morrison, Stemple (1998)
(Correct)
Advanced Software Engineering Environments - Oudshoorn, Brown
(Correct)
Similar documents (at the sentence level):
46.6%: Type-Safe Linguistic Reflection: A Generator Technology - Stemple, Stanton.. (1992)
(Correct)
Active bibliography (related documents): More All
0.9: Reflection and Hyper-Programming in Persistent Programming Systems - Kirby (1992)
(Correct)
0.6: Delivering the Benefits of Persistence to System Construction and.. - Cutts (1992)
(Correct)
0.5: The Napier88 Persistent Programming Language and.. - Morrison, Connor.. (1999)
(Correct)
Similar documents based on text: More All
2.1: The Implementation of a Hyper-Programming System - Kirby, al. (1993)
(Correct)
0.7: A Genetic Persistent Object Store - Brown, Morrison (1992)
(Correct)
0.7: Mechanisms for Controlling Evolutions in Persistent.. - Morrison, Connor.. (1993)
(Correct)
Related documents from co-citation: More All
2: Reflection and Hyper-Programming in Persistent Programming Systems
- - 1992
BibTeX entry: (Update)
Stemple, D., Morrison, R., Kirkby, G.N.C. & Connor, R.C.H., "Integrating Reflection, Strong Typing and Static Checking", Australian Computer Science Communications, Volume 15, Number 1, Part A, pp 83-92. http://citeseer.ist.psu.edu/stemple93integrating.html More
@inproceedings{ stemple93integrating,
author = "D. Stemple and R. Morrison and G. N. C. Kirby and R. C. H. Connor",
title = "Integrating Reflection, Strong Typing and Static Checking",
booktitle = "16th Australian Computer Science Conference ({ACSC}'93)",
address = "Brisbane, Australia",
pages = "83--92",
year = "1993",
url = "citeseer.ist.psu.edu/stemple93integrating.html" }
Citations (may not include all citations):
30
Safe Browsing in a Strongly Typed Persistent Environment
- Dearle, Brown - 1988
17
Constructing Database Systems in a Persistent Environment (context) - Cooper, Atkinson et al. - 1987
9
Edinburgh University Press (context) - Burstall, Collins et al. - 1971
8
Configurable Data Modelling Systems (context) - Cooper - 1990
8
The Utilisation of Persistent Programming Environments (context) - Cooper - 1990
6
A Graphical Data Modelling Program With Constraint Specifica.. (context) - Cooper, Qin - 1992
3
Murray Hill Technical Report ATT (context) - Amber, Labs et al. - 1985
3
Browsing, Grazing and Nibbling Persistent Data Structures (context) - Dearle, Cutts et al. - 1990
Documents on the same site (http://www-ppg.dcs.st-and.ac.uk/Publications/1993.html): More
On the Integration of Concurrency, Distribution and Persistence - Munro (1993)
(Correct)
Mechanisms for Controlling Evolutions in Persistent.. - Morrison, Connor.. (1993)
(Correct)
Approaching Integration in Software Environments - Morrison, al. (1993)
(Correct)
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