( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Object-Oriented Concurrent Reflective Language ABCL/R3: Its Meta-level Design and Efficient Implementation Techniques

, и . стр. 151--165. HERMES Science Publications, (января 2000)

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.

Akinori Shiotani

Kimitoshi Yonezawa

 

Другие публикации лиц с тем же именем

Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report., , , и . ISSS, том 2609 из Lecture Notes in Computer Science, стр. 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., и . PSLS, том 1068 из Lecture Notes in Computer Science, стр. 108-127. Springer, (1995)Partial Evaluation Scheme for Concurrent Languages and Its Correctness., , и . Euro-Par, Vol. I, том 1123 из Lecture Notes in Computer Science, стр. 625-632. Springer, (1996)Hierarchical Collections: An Efficient Scheme to Build an Obeject-Oriented Distributed Class Library for Massively Parallel Computation., , и . ISOTAS, том 1049 из Lecture Notes in Computer Science, стр. 96-117. Springer, (1996)Debugging Concurrent Systems Based on Object Groups., и . ECOOP, том 322 из Lecture Notes in Computer Science, стр. 267-282. Springer, (1988)A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation., , и . TACS, том 2215 из Lecture Notes in Computer Science, стр. 64-81. Springer, (2001)A Complete Type Inference System for Subtyped Recursive Types., и . TACS, том 789 из Lecture Notes in Computer Science, стр. 667-686. Springer, (1994)Exception Handling and Real Time Features in an Object-Oriented Concurrent Language., и . Concurrency: Theory, Language, And Architecture, том 491 из Lecture Notes in Computer Science, стр. 92-109. Springer, (1989)Formal Verification of the Heap Manager of an Operating System Using Separation Logic., , и . ICFEM, том 4260 из Lecture Notes in Computer Science, стр. 400-419. Springer, (2006)Autonomic K-Interleaving Construction Scheme for P2P Overlay Networks., и . ATC, том 4158 из Lecture Notes in Computer Science, стр. 153-162. Springer, (2006)