Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages

報告番号: 乙14108 ; 学位授与年月日: 1999-01-25 ; 学位の種別: 論文博士 ; 学位の種類: 博士(理学) ; 学位記番号: 第14108号 ; 研究科・専攻: 理学系研究科

[1]  Peter Thiemann,et al.  Two for the price of one: composing partial evaluation and compilation , 1997, PLDI '97.

[2]  Matthieu Martel,et al.  Self-applicable partial evaluation for the pi-calculus , 1997, PEPM.

[3]  Satoshi Matsuoka,et al.  Implementing Parallel Language Constructs Using a Re ective Object-Oriented Language , 1998 .

[4]  Y. Hiraki,et al.  Ecient and Reusable Implementation of Fine-grain Multithreading and Garbage Collection on Distributed-memory Parallel Computers , 1997 .

[5]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[6]  Jean-Pierre Corriveau,et al.  An object-oriented reflective simulation environment for distributed algorithms , 1996 .

[7]  Mitsuhisa Sato,et al.  Design and Implementation of Metalevel Architecture in C++ -- MPC++ Approach -- , 1998 .

[8]  Dawson R. Engler,et al.  DCG: an efficient, retargetable dynamic code generation system , 1994, ASPLOS VI.

[9]  Satoshi Matsuoka,et al.  Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently , 1992, OOPSLA.

[10]  R. Rosner.  Computer software , 1978, Nature.

[11]  Shigeru Chiba,et al.  A metaobject protocol for C++ , 1995, OOPSLA.

[12]  Craig Chambers,et al.  Iterative type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs , 1990, PLDI '90.

[13]  Benjamin Goldberg,et al.  Partial-evaluation techniques for concurrent programs , 1997, PEPM.

[14]  Karl J. Lieberherr,et al.  AP/S++: Case-study of a MOP for purposes of software evolution , 1998 .

[15]  Paul Hudak,et al.  Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors , 1991, PLDI '91.

[16]  Cristina V. Lopes,et al.  Adaptive Parameter Passing , 1996, ISOTAS.

[17]  John Maloney,et al.  The Self-4.0 user interface: manifesting a system-wide vision of concreteness, uniformity, and flexibility , 1995, OOPSLA 1995.

[18]  Peter Orbaek.  POPE: An On-line Partial Evaluator , 1994 .

[19]  Mitchell Wand,et al.  The mystery of the tower revealed: a non-reflective description of the reflective tower , 1986, LFP '86.

[20]  Yoshihiko Futamura,et al.  Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler , 1999, High. Order Symb. Comput..

[21]  Akinori Yonezawa,et al.  Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language , 1998, ECOOP.

[22]  Yves Roudier,et al.  The Extensible Java Preprocessor Kit and a Tiny Data-Parallel Java , 1997, ISCOPE.

[23]  Ehud Shapiro,et al.  Computation control and protection in the Logix system , 1988 .

[24]  Richard P. Gabriel,et al.  Performance and evaluation of Lisp systems , 1985 .

[25]  Dawson R. Engler,et al.  VCODE: a retargetable, extensible, very fast dynamic code generation system , 1996, PLDI '96.

[26]  Akinori Yonezawa,et al.  Static Analysis of Communication for Asynchronous Concurrent Programming Languages , 1995, SAS.

[27]  Daniel P. Friedman,et al.  Language Extension via First-class Interpreters , 1992 .

[28]  Akinori Yonezawa,et al.  RNA secondary structure prediction using highly parallel computers , 1995, Comput. Appl. Biosci..

[29]  Neil D. Jones,et al.  An introduction to partial evaluation , 1996, CSUR.

[30]  Yutaka Ishikawa.  Meta-level Architecture for Extendable C++ Draft Document , 1994 .

[31]  S. Matsuoka,et al.  Object-Oriented Concurrent Re ective Languages can be Implemented E ciently Hidehiko Masuhara , 1992 .

[32]  Gregor Kiczales,et al.  An Architecture for An Open Compiler , 1998 .

[33]  Dines Bjørner,et al.  Partial Evaluation and Mixed Computation , 1987 .

[34]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[35]  米沢 明憲.  ABCL : an object-oriented concurrent system , 1990 .

[36]  Satoshi Matsuoka,et al.  Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation , 1995, OOPSLA.

[37]  Andrew P. Black,et al.  Fine-grained mobility in the Emerald system , 1987, TOCS.

[38]  UngarDavid,et al.  The Self-4.0 user interface , 1995 .

[39]  岡村 英明.  A study on multi-model reflection framework in distributed environments , 1995 .

[40]  Peter Lee,et al.  Optimizing ML with run-time code generation , 1996, PLDI '96.

[41]  Shigeru Chiba,et al.  Yet Another java.lang.Class , 1998, ECOOP Workshops.

[42]  Benjamin C. Pierce,et al.  Linearity and the pi-calculus , 1999, TOPL.

[43]  Pattie Maes.  Concepts and experiments in computational reflection , 1987, OOPSLA 1987.

[44]  Yutaka Ishikawa,et al.  Object Location Control Using Meta-level Programming , 1994, ECOOP.

[45]  Willy Zwaenepoel,et al.  Munin: distributed shared memory based on type-specific memory coherence , 1990, PPOPP '90.

[46]  Takashi Masuda,et al.  Designing an Extensible Distributed Language with a Meta-Level Architecture , 1993, ECOOP.

[47]  Friedemann Mattern,et al.  Global Quiescence Detection Based on Credit Distribution and Recovery , 1989, Inf. Process. Lett..

[48]  Anders Haraldsson,et al.  A partial evaluator, and its use for compiling iterative statements in LISP , 1978, POPL.

[49]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[50]  Randall B. Smith,et al.  SELF: The power of simplicity , 1987, OOPSLA '87.

[51]  Peter Lee,et al.  Lightweight Run-Time Code Generation , 1994, PEPM.

[52]  Gregor Kiczales,et al.  Towards a new model of abstraction in software engineering , 1991, Proceedings 1991 International Workshop on Object Orientation in Operating Systems.

[53]  Barbara Liskov,et al.  Implementation of Argus , 1987, SOSP '87.

[54]  Satoshi Matsuoka,et al.  An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers , 1992, PPOPP '93.

[55]  Craig Chambers,et al.  An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes , 1989, OOPSLA '89.

[56]  Mario Tokoro,et al.  Al-1/d: a distributed programming system with multi-model reflection framework , 1992 .

[57]  Satoshi Matsuoka,et al.  An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers , 1992, Parallel Symbolic Computing.

[58]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[59]  Hiroshi Nakashima,et al.  An Efficient Termination Detection and Abortion Algorithm for Distributed Processing Systems , 1988, ICPP.

[60]  Craig Chambers,et al.  Making pure object-oriented languages practical , 1991, OOPSLA '91.

[61]  Mario Tokoro,et al.  Metalevel Decomposition in AL-1/D , 1993, ISOTAS.

[62]  Jee Mcaaer.  Meta-level Programming with Coda , 1995 .

[63]  Akinori Yonezawa,et al.  Duplication and Partial Evaluation For a Better Understanding of Reflective Languages , 1996, LISP Symb. Comput..

[64]  Akinori Yonezawa,et al.  An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus , 1997, Euro-Par.

[65]  Yuuji Ichisugi.  A Reflective Object-Oriented Concurrent Language for Distributed Environments , 1993 .

[66]  Satoshi Matsuoka,et al.  Hybrid Group Re ective Architecture for Object-Oriented Concurrent Re ective Programming , 1991 .

[67]  Barbara Liskov,et al.  Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.

[68]  Akinori Yonezawa,et al.  Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects , 1997, PEPM.

[69]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[70]  Charles Consel,et al.  A general approach for run-time specialization and its application to C , 1996, POPL '96.

[71]  Erik Ruf,et al.  Automatic Online Partial Evaluation , 1991, FPCA.

[72]  Andrew P. Black,et al.  Object structure in the Emerald system , 1986, OOPLSA '86.

[73]  Joel H. Saltz,et al.  Parallel Programming Using C++ , 1996 .

[74]  Ehud Shapiro,et al.  Meta interpreters for real , 1988 .

[75]  Akinori Yonezawa,et al.  Schematic: A Concurrent Object-Oriented Extension to Scheme , 1995, OBPDC.

[76]  Hiroaki Ishihata,et al.  Low-latency message communication support for the AP1000 , 1992, ISCA '92.

[77]  Hidehiko Masuhara,et al.  On-the-fly Specialization of Reflective Programs Using Dynamic Code Generation Techniques , 1998 .

[78]  Akinori Yonezawa,et al.  An Actor-Based Metalevel Architecture for Group-Wide Reflection , 1990, REX Workshop.

[79]  Akinori Yonezawa,et al.  Partial Evaluation Scheme for Concurrent Languages and Its Correctness , 1996, Euro-Par, Vol. I.

[80]  J. McAffer,et al.  Meta-level architecture support for distributed objects , 1995, Proceedings of International Workshop on Object Orientation in Operating Systems.

[81]  Akinori YONEZAWA.  Reasoning-conscious Meta-object Design of a Re ective Concurrent Language , 1997 .

[82]  Barbara Liskov,et al.  Distributed programming in Argus , 1988, CACM.

[83]  Daniel G. Bobrow,et al.  Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.

[84]  Dawson R. Engler,et al.  tcc: a system for fast, flexible, and high-level dynamic code generation , 1997, PLDI '97.

[85]  Yuuya,et al.  On-the- y Specialization of Re ective Programs Using Dynamic Code Generation Techniques SUGITA, , 1998 .

[86]  Erik Ruf.  Topics in online partial evaluation , 1993 .

[87]  Akinori Yonezawa,et al.  Reflection in an object-oriented concurrent language , 1988, OOPSLA 1988.

[88]  Satoshi Matsuoka,et al.  RbCl: A Reflective Object-Oriented Concurrent Language without a Run-time Kernel , 1992 .