( en | de | ru )

 

Disambiguation of "Yonezawa, Akinori"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for Constructing Animations via Declarative Mapping Rules.

, , , and . VL, page 314-322. IEEE Computer Society, (1994)

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.

Akinori Shiotani

Kimitoshi Yonezawa

 

Other publications of authors with the same name

The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution., , and . IFIP PACT, volume A-50 of IFIP Transactions, page 57-66. North-Holland, (1994)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)Formal Verification of the Heap Manager of an Operating System Using Separation Logic., , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 400-419. Springer, (2006)Exception Handling and Real Time Features in an Object-Oriented Concurrent Language., and . Concurrency: Theory, Language, And Architecture, volume 491 of Lecture Notes in Computer Science, page 92-109. Springer, (1989)A Complete Type Inference System for Subtyped Recursive Types., and . TACS, volume 789 of Lecture Notes in Computer Science, page 667-686. Springer, (1994)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)Debugging Concurrent Systems Based on Object Groups., and . ECOOP, volume 322 of Lecture Notes in Computer Science, page 267-282. Springer, (1988)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)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)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)