Cooper, R., Kirby, G.: Type-Safe Linguistic Run-time Reflection: A Practical Perspective, Proceedings of the 6th Int. Workshop on Persistent Object Systems, Workshops in Computing. Springer-Verlag (1994) 331-354. 216  Home/Search   Document Details and Download   Summary   Related Articles   Check

....problems [3] These problems are manifested by Java OQL [15] which requires run time reflection (or dynamic compilation) as an implementation technique. The type of reflective techniques required for a type safe implementation of Java OQL have been developed for other persistent object systems ([16], 12] But these techniques are by no means trivial, and go beyond the bounds of the usual static type checking techniques. MyT queries can be statically type checked, as one would naturally expect. The core of the query capabilities is the predefined parametric class Query[T] equipped with an ....

Cooper, R., Kirby, G.: Type-Safe Linguistic Run-time Reflection: A Practical Perspective, Proceedings of the 6th Int. Workshop on Persistent Object Systems, Workshops in Computing. Springer-Verlag (1994) 331-354. 216

....not be inferred by an automatic traverser. This implies the need for a traversal routine for each different data structure. In contrast, this situation can not occur in Napier88 as any references to objects must refer to real objects the only problem is to detect recursion With reflection [COO94a], a mechanism to compile source code into new objects, a specialised traverser for a data type can be automatically compiled and the values of the instance of a data structure can be found rather than the schema. However there were a number of problems : speed of response Currently, Napier88 ....

Cooper, R. and Kirby, G. (1994). "Type-safe Linguistic Run-time Reflection - A Practical Perspective." In Proceedings of POS VI.

....vital for its construction, is explicitly connected to the PAS s representation. Two methodologies are supported in the workshop at present. One is closely allied to traditional database practice. In that, the PAS construction proceeds via the design of a system in some conventional data model [Cooper Qin, 1994]. The types and programs are then automatically derived. This works reasonably well on a small scale, but will not yet scale up as incremental construction via automated generation is still a research issue. The other uses a methodology called SPASM [Sj berg, et al. 1995] and sets out to delimit ....

....and named using the pre existing or pre defined constructors. Cooper has extensively explored the process of mapping traditional data models to types in several different languages and has used reflection to build aids to performing this mapping automatically [Cooper, 1990a, Cooper and Qin, 1992, Cooper and Qin, 1994]. His systems automatically generate all the types that match some data model and both a text based and diagram based schema editor. They also generate the usual interface components (e.g. forms generators, etc. skeleton application programs and a relevant library of persistent components. These ....

[Article contains additional citation context not shown here]

Cooper, R. & Kirby, G.N.C., 1994. Type-Safe Linguistic Run-time Reflection - A Practical Perspective. In Persistent Object Systems, Tarascon 1994, Atkinson, M.P., Maier, D. & Benzaken, V. (ed.), Springer-Verlag, Proc. 6th International Workshop on Persistent Object Systems, Tarascon, France pp 332-354.

No context found.

R. Cooper and G. N. C. Kirby, `Type-Safe Linguistic Run-time Reflection---A Practical Perspective' In Persistent Object Systems, Tarascon 1994, M. P. Atkinson, D. Maier and V. Benzaken (ed), SpringerVerlag, Proceedings of the 6th International Workshop on Persistent Object Systems, Tarascon, France, 332-354 (1994).

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