See this document in CiteSeerX!

Integrating Reflection, Strong Typing and Static Checking (1993)  (Make Corrections)  (2 citations)
D. Stemple, R. Morrison, G. N. C. Kirby, R. C. H. Connor
16th Australian Computer Science Conference (ACSC'93)



  Home/Search   Context   Related

 
View or download:
ppg.dcs.stand.ac....g.reflection.ps.gz
ppg.dcs.stand.ac....g.reflection.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ppg.dcs.stand.ac.uk/Publi...1993 (more)
From:  ppg.dcs.stand.ac.uk/Publi...1993
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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