Concurrent Objects and Beyond
Kenjiro Taura, Etsuya Shibayama, Satoshi Matsuoka, Hidehiko Masuhara, Naoki Kobayashi, Atsushi Igarashi, Gul Agha
E-bok
2014732 kr
732 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.
The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.
Kenjiro Taura, Etsuya Shibayama, Satoshi Matsuoka, Hidehiko Masuhara, Naoki Kobayashi, Atsushi Igarashi, Gul Agha
732 kr
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
Häftad, 2014
566 kr
