10 citations found. Retrieving documents...
Luis H. Rodriguez, Jr. A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler. In IMSA'92, pages 107--112. Information-Technology Promotion Agency, Japan, 1992.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Architecture Design and Compilation Techniques Using Partial.. - Masuhara (1999)   (Correct)

....The thesis of this dissertation is that new implementation techniques using partial evaluation are beneficial to efficiency and extensibility of concurrent object oriented reflective languages. Over the past decade, reflection has been recognized as useful for parallel and distributed programming[17, 46, 67, 87, 93, 103, 125, 129] because the application programmer can investigate and modify a language by means of an abstract model of the language. One of the most serious problems of reflection is that the model of a language requires interpretive execution. Some na ive implementations, which run full fledged interpreters, ....

....state of a system, such as environment in a Lisp interpreter, is not available. Intrigue[60] is a Scheme compiler that can customize low level implementations compilation strategies, such as representation of a closure and the code generation routines, by means of meta level programming. Anibus[103] is a parallelizing compiler whose parallelization strategies can be customized by using the compile time MOP. There are studies on compile time MOP at source to source translation level, such as MPC [45, 46] OpenC [15, 16] EPP[42] and OpenJava[118] In those languages, the user can define a ....

Luis Rodriguez, Jr. A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler. In Yonezawa and Smith [131], pp. 107--112.


Semantic Foundations for Composition and Interoperation of.. - McCarthy, Talcott (1996)   (Correct)

....and on metalogical foundations for reflection [56] will be extended in several ways. More generally, we will take into account many previous contributions by other researchers in the area of software architecture and module composition operations [6, 67, 15, 19, 8, 41, 36, 28, 75] in reflection [71, 70, 79, 76, 41, 38, 81, 7, 68, 39, 12, 53, 24, 37, 52, 61, 64, 69], and in recent approaches to interoperation [34, 13, 14, 42, 5, 1, 45, 20] The proposed research will lead to a new technology for composition, interoperation, and dynamic evolution of software systems. It will treat interoperability at many levels and along many dimensions components, ....

....and for building systems that are truly adaptable and survivable. Many researchers have recognized the great importance and usefulness of reflection in programming languages [71, 70, 79, 76, 41, 38] in theorem proving [81, 7, 68, 39, 12, 53, 24, 37] in concurrent and distributed computation [52, 61, 64], and in many other areas such as compilation, programming environments, operating systems, fault tolerance, and databases (see [69] for a recent snapshot of research in reflection) The importance of reflection for software engineering is linked to the increasing importance of building ....

Luis H. Rodriguez, Jr. A study on the viability of a production-quality metaobject protocolbased statically parallelizing compiler. In IMSA'92, pages 107--112. Information-Technology Promotion Agency, Japan, 1992.


Reflection in Rewriting Logic and its Applications in the.. - Clavel, Meseguer (1997)   (1 citation)  (Correct)

....techniques to extend, adapt, and modify a system become available. Many researchers have recognized the great importance and usefulness of reflection in programming languages [39, 38, 41, 40, 18, 14, 29] in theorem proving [42, 5, 36, 15, 1, 28, 11, 13] in concurrent and distributed computation [27, 33, 35], and in many other areas such as compilation, programming environments, operating systems, fault tolerance, and databases (see [37, 17] for recent snapshots of research in reflection) In spite of being a very important topic, the semantic foundations of reflection are not yet well understood. ....

Luis H. Rodriguez, Jr. A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler. In IMSA'92, pages 107--112. Information-Technology Promotion Agency, Japan, 1992.


Formal Interoperability - Meseguer (1998)   (3 citations)  (Correct)

....techniques to extend, adapt, and modify a system become available. Many researchers have recognized the great importance and usefulness of reflection in programming languages [52, 51, 56, 54, 26, 23, 38] in theorem proving [57, 4, 49, 24, 1, 36, 16, 22] in concurrent and distributed computation [35, 44, 46], and in many other areas such as compilation, programming environments, operating systems, fault tolerance, and databases (see [50, 25] for recent snapshots of research in reflection) In particular, reflective methods are enormously useful to achieve formal interoperability. In spite of being a ....

Luis H. Rodriguez, Jr. A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler. In IMSA'92, pages 107--112. Information-Technology Promotion Agency, Japan, 1992.


Study On A Reflective Architecture To Provide Efficient Dynamic.. - Masuhara (1994)   (3 citations)  (Correct)

....reflective languages, which has more elaborate architectures. 5.2 Metaobject Protocol based Open Compilers Open compilers are the system that can extend modify its compilation. Inspired by the reflective systems, there are several studies to provide meta object protocols (MOP) to open compilers[18, 30], so that customizations on a compiler can be achieved in more modular and elegant way. As a way for language extension, MOP based open compilers have similar advantages to reflective languages; it provides a modular and clean interface for the language extension, and the extension can be achieved ....

Luis Rodriguez, Jr. A study on the viability of a production-quality metaobject protocolbased statically parallelizing compiler. In Proceedings of International Workshop on New Models for Software Architecture (IMSA): Reflection and Meta-Level Architecture, pages 107-- 112, November 1992.


Axiomatizing Reflective Logics and Languages - Clavel, Meseguer (1996)   (19 citations)  (Correct)

....it has been present from the beginning in the form of universal Turing machines. Many researchers have recognized its great importance and usefulness in programming languages [54, 51, 60, 56, 23, 19, 30] in theorem proving [62, 7, 48, 20, 2, 29, 14, 16] in concurrent and distributed computation [28, 41, 46], and in many other areas such as compilation, programming environments, operating systems, fault tolerance, and databases (see [50] for a recent snapshot of research in reflection) The very success and extension of reflective ideas underscores the need for conceptual foundations. This need is ....

Luis H. Rodriguez, Jr. A study on the viability of a production-quality metaobject protocolbased statically parallelizing compiler. In IMSA'92, pages 107--112. Information-Technology Promotion Agency, Japan, 1992.


Implementing Parallel Language Constructs Using a.. - Masuhara, Matsuoka.. (1996)   (5 citations)  (Correct)

....programs are easily re used and composed. However, efficient implementation of such an architecture is not obvious. Recently, extensible compilers based on the metalevel architecture so called compile time metaobject protocol (MOP) have been proposed, especially for parallel distributed systems[1, 4, 13]. Most language constructs discussed in this paper could also be implemented with these MOPs. However, they may force different programming style at the meta level; since they are compilers, programmers have to write their extensions as program transformation rules, in which programmers must ....

Luis Rodoriguez Jr. A study on the viability of a production-quality metaobject protocolbased statically parallelizing compiler. In Proceedings of IMSA'92 Workshop on Reflection and Meta-Level Architecture, pages 107--112, 1992.


Electronic Notes in Theoretical Computer Science 4 (1996) - Reflection And Strategies   (Correct)

No context found.

Luis H. Rodriguez, Jr. A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler. In IMSA'92, pages 107--112. Information-Technology Promotion Agency, Japan, 1992.


OpenJIT - A Reflective Java JIT Compiler - Matsuoka, Ogawa, al. (1998)   (5 citations)  (Correct)

No context found.

Luis Rodriguez, Jr.: A study on the viability of a production-quality metaobject protocol-based statically parallelizing compiler, In Proceedings of IMSA'92: Reflection and Meta-Level Architecture, pp. 107--112, Tokyo, Nov. 1992.

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