Atsushi Igarashi

Ranjit Jhala

This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.

10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

Programming Languages and Systems

Gul Agha

Satoshi Matsuoka

Naoki Kobayashi

Hidehiko Masuhara

Etsuya Shibayama

Kenjiro Taura

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.

Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

Concurrent Objects and Beyond

Atsushi Igarashi

Books

Your next favorite book is out there