Author of the publication

Partial Evaluation Scheme for Concurrent Languages and Its Correctness.

, , and . Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 625-632. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generating Optimized Residual Code in Run-Time Specialization, and . International Colloquium on Partial Evaluation and Program Transformation (PE Day'99), page 83--102. Waseda University, Tokyo, Japan, (November 1999)A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation., , and . TACS, volume 2215 of Lecture Notes in Computer Science, page 64-81. Springer, (2001)A Complete Type Inference System for Subtyped Recursive Types., and . TACS, volume 789 of Lecture Notes in Computer Science, page 667-686. Springer, (1994)Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report., , , and . ISSS, volume 2609 of Lecture Notes in Computer Science, page 133-153. Springer, (2002)A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection., and . PSLS, volume 1068 of Lecture Notes in Computer Science, page 108-127. Springer, (1995)Hierarchical Collections: An Efficient Scheme to Build an Obeject-Oriented Distributed Class Library for Massively Parallel Computation., , and . ISOTAS, volume 1049 of Lecture Notes in Computer Science, page 96-117. Springer, (1996)Partial Evaluation Scheme for Concurrent Languages and Its Correctness., , and . Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 625-632. Springer, (1996)An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines., and . PPoPP, page 264-275. ACM, (1997)An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus., , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 546-553. Springer, (1997)Protecting Web Servers from Octopus Attacks., , , and . SAINT, page 82-85. IEEE Computer Society, (2006)