START: A Linguistic Reflection Tool Using Hyper-Program Technology

The mechanism of linguistic reflection allows a programming system to generate new program fragments and incorporate them into the system. Although this ability has important applications in persistent systems, its use has been limited by the difficulty of writing reflective programs. This paper analyses the reasons for this difficulty and describes START, a hyper-text based tool for reflection which has been implemented in the Napier88 hyper-programming environment.

[1]  Richard C. H. Connor,et al.  Persistent Program Construction through Browsing and User Gesture with some Typing , 1992, POS.

[2]  Quintin Cutts,et al.  Persistent object systems , 2000, Softw. Pract. Exp..

[3]  Suad Alagic.  Persistent Metaobjects , 1990, POS.

[4]  Rod M. Burstall,et al.  Programming in POP-2 , 1971 .

[5]  Tim Sheard,et al.  Automatic generation and use of abstract structure operators , 1991, TOPL.

[6]  Ronald Cooper.  On the Utilisation of Persistent Programming Environments , 1989 .

[7]  David W. Stemple,et al.  Exceeding the Limits of Polymorphism in Database Programming Languages , 1990, EDBT.

[8]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[9]  Stefan Kaes,et al.  Parametric Overloading in Polymorphic Programming Languages , 1988, ESOP.

[10]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[11]  Alan Dearle,et al.  Safe Browsing in a Strongly Typed Persistent Environment , 1988, Comput. J..

[12]  Richard C. H. Connor,et al.  Persistent Hyper-Programs , 1992, POS.

[13]  D. H. Bartley,et al.  Revised4 report on the algorithmic language scheme , 1991, LIPO.

[14]  Richard C. H. Connor,et al.  Using persistence technology to control schema evolution , 1994, SAC '94.

[15]  David W. Stemple,et al.  Linguistic reflection: a bridge from programming to database languages , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[16]  Philip Wadler,et al.  How to make ad-hoc polymorphism less ad hoc , 1989, POPL '89.

[17]  Graham N. C. Kirby,et al.  Persistent programming with strongly typed linguistic reflection , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.