• Corpus ID: 1395085

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

@inproceedings{Masuhara1999ArchitectureDA,
  title={Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages},
  author={Hidehiko Masuhara},
  year={1999}
}
報告番号: 乙14108 ; 学位授与年月日: 1999-01-25 ; 学位の種別: 論文博士 ; 学位の種類: 博士(理学) ; 学位記番号: 第14108号 ; 研究科・専攻: 理学系研究科 

Optimizing Reflective Languages by Using Partial Evaluation

We present techniques of compiling a reflective concurrent object-oriented language, ABCL/R3, by using partial evaluation. Although the compilation framework is based on the first Futamura

An Object-Oriented Concurrent Reflective Language ABCL / R 3 Its Meta-level Design and Efficient Implementation Techniques

This article presents the design principles and efficient implementation techniques for ABCL/R3, an object-oriented concurrent reflective language. One of the most distinguished features of ABCL/R3

2 Run-Time Specialization Techniques and Their Problems 2 . 1 Program Specialization

This study proposes bytecode specialization (BCS), which generates programs in a bytecode language, and then translates the generated bytecode into native code by using Just-In-Time (JIT) compilers.

Generating Optimized Residual Code in Run-Time Specialization

The proposed bytecode specialization (BCS) technique is used to generate programs in a bytecode language and then translate the generated bytecode into native code by using a just-in-time (JIT) compiler.

The Role of Ontologies in Reusing Domain and Enterprise Engineering Assets

Compared ontology-based reuse techniques in domain engineering and enterprise engineering demonstrates that both approaches still are not mature enough to solve practical reuse problems and, on the other hand, both propose ideas that can be used to develop more mature approach.

Run-Time Program Specialization in Java Bytecode∗

This study proposes bytecode specialization (BCS), which generates programs in a bytecode language, and then translates the generated bytecode into native code by using Just-In-Time (JIT) compilers.

References

SHOWING 1-10 OF 156 REFERENCES

A Reflective Object-Oriented Concurrent Language for Distributed Environments

This dissertation aims to provide a history of single-sex education in China from 1910 to the present day with a focus on the period from 1950 to 1983.

Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language

A new meta-object design is proposed for the authors' reflective language ABCL/R3 that yields meta-objects that can be optimized effectively using partial evaluation, and benchmark trials show that non-trivial programs with partially evaluated meta- objects run more than six times faster than ones that are interpreted by meta- Objects.

Static Analysis of Communication for Asynchronous Concurrent Programming Languages

We propose an effect-based static analysis technique on communication for asynchronous concurrent programming languages. Our analysis gives an upper-bound of the number of enqueued messages and

Partial Evaluation Scheme for Concurrent Languages and Its Correctness

A simple, general, and well-formalized partial evaluation method for concurrent languages, choose a process calculus for the target language because it has theoretical clarity, and yet has expressive power enough to represent various high-level constructs in concurrent object-oriented languages.

Partial evaluation and automatic program generation

This paper presents a guide to the literature the self-applicable scheme specializer, a partial evaluator for a subset of scheme for a first-order functional languages.

Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation

Meta-level programmability is beneficial for parallel/distributed object-oriented computing to improve performance, etc. The major problem, however, is interpretation overhead due to mta-circular

Two for the price of one: composing partial evaluation and compilation

This work compositions a partial evaluator with a compiler by automatic means to build a run-time code generation system built from existing components, which allows the language designer to perform interpreter-based experiments with a source-to-source version of the partialevaluator before building a realistic compiler which generates object code automatically.

Object-oriented concurrent reflective languages can be implemented efficiently

Efficient implementation schemes for object-oriented concurrent reflective languages using the authors' language ABCL/R2 as an example are presented, all appropriately integrated so that the user-level semantics remain consistent with the meta-circular definitionso that the full power of reflection is retained, while achieving practical efficiency.

Making pure object-oriented languages practical

Two new optimization techniques, deferred compilation of uncommon cases and non-backtracking splitting using path objects, have improved compilation speed by more than an order of magnitude and may make pure object-oriented languages practical.

Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler

  • Y. Futamura
  • Computer Science
    High. Order Symb. Comput.
  • 1999
A method to automatically generate an actual compiler from a formal description which is, in some sense, the partial evaluation of a computation process is described.
...