Concurrent objects and beyond : papers dedicated to Akinori Yonezawa on the occasion of his 65th birthday

書誌事項

Concurrent objects and beyond : papers dedicated to Akinori Yonezawa on the occasion of his 65th birthday

Gul Agha ... [et al.] (eds.)

(Lecture notes in computer science, 8665 . LNCS sublibrary ; SL 2 . Programming and software engineering . Festschrift)

Springer, c2014

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

Other editors: Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura

Includes bibliographical references and index

内容説明・目次

内容説明

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.

目次

My Early Education and Concurrent Objects.- Object-Oriented Concurrent Programming in ABCL/1.- Reflection in an Object-Oriented Concurrent Language.- Building Safe Concurrency Abstractions.- Structuring Communication with Session Types.- From Linear Types to Behavioral Types and Model Checking.- SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency.- Past and Future Directions for Concurrent Task Scheduling.- Controlling Concurrency and Expressing Synchronization in Charm++ Programs.- MassiveThreads: A Thread Library for High Productivity Languages.- On Efficient Load Balancing for Irregular Applications.- Verifiable Object-Oriented Transactions.- Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks.- Objects in Space.- Towards a Substrate Framework of Computation.- Event-Based Modularization of Reactive Systems.- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ