D. Stemple, R. Morrison, and M.P. Atkinson. Type-Safe Linguistic Reflection. In Kanellakis and Schmidt [18], pages 357--360. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Modular Compiler Architecture for a Data Manipulation Language - Embury, Gray (Correct)
....by database updates overnight, so that the user always runs code that is tuned for the current database statistics 3 . 6 Discussion The nearest neighbours to our modular compiler are the persistent languages we began with, which have been extended with the notion of linguistic reflection [23] in order to overcome the limitations of static type checking for certain applications. While the earliest extensions used strings to represent the code to be manipulated at run time (i.e. the source language text) later implementations have realised the limitations of this approach and have ....
D. Stemple, R. Morrison, and M.P. Atkinson. Type-Safe Linguistic Reflection. In Kanellakis and Schmidt [18], pages 357--360.
Cooperative Information Systems: A Manifesto - De Michelis, Dubois, Jarke.. (1997) (7 citations) (Correct)
....being executed or generate new data structures to be interpreted or new code to be executed. These options offer different tradeoffs between flexibility, execution efficiency, and assurance of system consistency which have been studied, for example, in the context of database programming languages [Stemple91]. 4.4 Information Agents To achieve cooperative information processing, we must overcome the barriers to building and deploying mission critical information systems from reusable software components. This can be achieved by assembling information services on demand from a montage of networked ....
Stemple, D., Morrison, R. and Atkinson M. "Type-Safe Linguistic Reflection", Database Programming Languages: Bulk Types and Persistent Data, Morgan Kaufmann Publishers, 1991, 357-362.
Orthogonal Persistence and Ada - Crawley, Oudshoorn (1994) (4 citations) (Correct)
....should give better support for bulk data. Persistent programming environments: current research into configuration management of persistent programs and novel binding schemes [24] could revolutionise persistent programming environments. Meta programming: current work on linguistic [44] and other forms of reflection [24] should lead to better application support for meta programming. Finally, there has been a tendency in the persistence research community not to make the tools available outside of restricted circles. We believe that this has inhibited both research into ....
.... (e.g. by reducing encapsulation and type safety) and less maintainable (e.g. because persistent data access is visible to the application) Assuming that code objects can persist, a persistent Ada environment can support incremental binding [18] and linguistic reflection using callable compilers [16,44]. Incremental binding allows the programmer to build flexible, integrated tools from shared libraries of persistent software and data components; e.g. 19] The incremental binding model is well suited to prototyping [15] and to building software systems with a strong requirement for evolution. ....
D. Stemple, R.B. Stanton, T. Sheard, P. Philbrow, R. Morrison, G.N.C. Kirby, L. Fergaras, R.L. Cooper, R.C.H. Connor, M.P. Atkinson and S. Algaic, "Type-- safe Linguistic Reflection", Research Report CS/92/6, University of St Andrews, 1991.
The Addition of Persistence to Ada95 and its Consequences - Oudshoorn, Crawley (Correct)
....for not supporting persistence as an Ada95 Annex. A real time programmer should use a compiler that can turn off all support for persistence. Assuming that code objects can persist, a persistent Ada environment can support incremental binding[14] and linguistic reflection using callable compilers[11, 33]. Incremental binding allows the programmer to build flexible, integrated tools from shared libraries of persistent software and data components; e.g. 15] The incremental binding model is well suited to prototyping[8] and to building software systems with a strong requirement for evolution. ....
D. Stemple, R.B. Stanton, T. Sheard, P. Philbrow, R. Morrison, G.N.C. Kirby, L. Fergaras, R.L. Cooper, R.C.H. Connor, M.P. Atkinson, and S. Algaic. Typesafe linguistic reflection. Technical Report CS/92/6, University of St Andrews, 1991.
Extensible Syntax with Lexical Scoping - Cardelli, Matthes, Abadi (1994) (14 citations) (Correct)
....both syntax and semantics could be modified arbitrarily, sometimes with disastrous effects [Chr90] Traditional macro facilities allow only syntax extensions. We have already discussed some of the defects of macros. Several recent works propose improvements on macros. Linguistic reflection [SMM91, SSS 92, SSF92, Kir92] in persistent programming languages has been used to add high level (query) notations to stronglytyped programming languages. These extensions are achieved by executing user defined code at compile time; this code transforms syntax trees returned from the parser prior ....
D. Stemple, R. Morrison, and Atkinson M. Type-safe Linguistic Reflection. In Database Programming Languages: Bulk Types and Persistent Data, pages 357--362. Morgan Kaufmann Publishers, 1991.
Experiments with Persistent Map Stores - Atkinson, Benzaken.. (1991) (1 citation) Self-citation (Atkinson) (Correct)
No context found.
D. Stemple, R.B. Stanton, T. Sheard, R. Morrison, R.L. Cooper, R.C.H. Connor, M.P. Atkinson, and S. Alagic. Type-safe linguistic reflection. Technical report, 1991. FIDE report in preparation.
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