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.
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.
Artikelnr. des Verlages: 86377796, 978-3-662-44470-2
2014
Seitenzahl: 484
Erscheinungstermin: 18. September 2014
Englisch
Abmessung: 235mm x 155mm x 27mm
Gewicht: 757g
ISBN-13: 9783662444702
ISBN-10: 3662444704
Artikelnr.: 41163294
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
