Cooper RL. On The Utilisation of Persistent Programming Environments. Ph.D. thesis, University of Glasgow, 1990  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of different program representations in the same environment. The program contains fragments which are normal code, pieces which are code representations and pieces which connect the two. To this end a number of proposals have been made to simplify the problem of writing reflective programs [12, 13, 5], but no firm solution is yet in place. In this paper, tools are described which make reflective programming significantly easier. The paper concludes with insights into the interaction between the nature of the type system and the ways in which reflection can be produced. To start with, however, ....

Cooper RL. On The Utilisation of Persistent Programming Environments. Ph.D. thesis, University of Glasgow, 1990

....the protection of data, controlled system evolution, concurrency control and transactions, and programming within the persistent environment, including hyper programming. The justification of the persistence design decisions is given in [53] and the advantages of the abstraction outlined in [4, 11, 15, 18, 34, 54 63]. 2 Controlling Complexity 2.1 Language Design McCarthy [64] van Wijngaarden [65] Strachey [66] and Tennent [67] all observed that expressive power in programming languages could be gained by separating the underlying concepts and allowing them to be combined by powerful composition rules. ....

....in the persistent store and may be called as a procedure by any program. Type safe linguistic reflection has been used to attain high levels of genericity [87, 88] and accommodate changes in systems [84, 89] two examples of these are given below. It has also been used to implement data models [62, 63, 90], optimise implementations [91 93] and validate specifications [94, 95] The importance of the technique is that it provides a uniform mechanism for software production and evolution. A formal description of linguistic reflection is given in [83] The example in Figure 30 shows a simple generator ....

Cooper RL. On The Utilisation of Persistent Programming Environments. Ph.D. thesis, University of Glasgow, 1990

.... [Atkinson, 1978, Atkinson, et al. 1982, Atkinson et al. 1984, Atkinson et al. 1985, Atkinson and Morrison, 1985, Morrison et al. 1985, Morrison et al. 1986, Atkinson Buneman, 1987, Morrison et al. 1987, Atkinson et al. 1988b, Dearle Brown, 1988, Brown, 1989, Connor et al. 1990, Cooper, 1990a, Cooper, 1990b, Albano et al. 1993, Connor et al. 1993, Morrison et al. 1993, Morrison et al. 1995] They can be summarised as: improving programming productivity from simpler semantics; avoiding ad hoc arrangements for data translation and long term data storage; providing protection ....

.... 1978, Atkinson, et al. 1982, Atkinson et al. 1984, Atkinson et al. 1985, Atkinson and Morrison, 1985, Morrison et al. 1985, Morrison et al. 1986, Atkinson Buneman, 1987, Morrison et al. 1987, Atkinson et al. 1988b, Dearle Brown, 1988, Brown, 1989, Connor et al. 1990, Cooper, 1990a, Cooper, 1990b, Albano et al. 1993, Connor et al. 1993, Morrison et al. 1993, Morrison et al. 1995] They can be summarised as: improving programming productivity from simpler semantics; avoiding ad hoc arrangements for data translation and long term data storage; providing protection mechanisms over ....

[Article contains additional citation context not shown here]

Cooper, R.L., 1990b. On The Utilisation of Persistent Programming Environments.

....strong typing it may be used to provide a type safe mechanism for the production and evolution of programs and data in a persistent environment. In current systems it has been used to attain high levels of genericity [SFS 90] accommodate changes in systems [DB88,DCK89] implement data models [Coo90a,Coo90b] optimise implementations [CAD 87,FS91] and validate specifications [FSS92,SSF92] The focus of interest here is the manner in which linguistic reflection may be used to support the programming process entirely within the persistent environment. To achieve this, a particular style of ....

....Executing programs may use the compiler in the construction and execution of new programs that manipulate the persistent environment. This is a form of reflection [Mae87] and has been used to attain high levels of genericity [SFS 90] accommodate changes in systems [DB88] implement data models[Coo90a] optimise implementations[CAD 87] and validate specifications[FSS92] A number of persistent languages and their associated object stores have already been implemented. These include PS algol [PS88] Napier88 [MBC 89] Galileo [ACO85] DBPL[MS89] Staple [DM90] and Quest [Car89] The compilers ....

R.L. Cooper "On The Utilisation of Persistent Programming Environments" Ph.D. Thesis, University of Glasgow (1990).

....over x Italic text is in L L Var . let expr = reads( proc( real x fi real ) expr end Figure 2.29: Code categories in a PS algol generator Here the code in L L Const is enclosed by quotes. It is composed with the variable parts of the result definition by string concatenation. In [Coo90a], Cooper describes a variation on this notation in which the main result definition is a single string with embedded place holders, of the form #IDENTIFIER, as shown below: let mkFun = proc( string ) Plain text is in L. begin Outline text is in L L Const . write enter real expression ....

....the reflection is type safe, that is the new programs that are generated are checked for type correctness before being executed. Type safe linguistic reflection has been used in a number of different ways. These include implementation of object browsers [DB88, DCK90] implementation of data models [Coo90a, Coo90b, CQ92], specification of generic program forms [SFS 90] optimisation of implementations [CAD 87, FS91] and validation of specifications [FSS92, SSF92] It is believed that the generator notations developed in this thesis would enable these uses of type safe linguistic reflection to be coded in a ....

Cooper, R.L. "On The Utilisation of Persistent Programming Environments". Ph.D. Thesis, University of Glasgow (1990).

No context found.

Cooper R.L. On The Utilisation of Persistent Programming Environments. Ph.D. thesis, University of University of Glasgow, 1990

No context found.

R. L. Cooper, `On The Utilisation of Persistent Programming Environments' Ph.D. Thesis, University of Glasgow (1990). 25

No context found.

Cooper, R.L. "On The Utilisation of Persistent Programming Environments". Ph.D. Thesis, University of Glasgow (1990).

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