Concurrent Objects and Beyond
Kenjiro Taura, Etsuya Shibayama, Satoshi Matsuoka, Hidehiko Masuhara, Naoki Kobayashi, Atsushi Igarashi, Gul Agha
E-bok
2014708 kr
Programming Languages and Systems
14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
E-bok
PDF, Engelska, 2016708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Concurrent Objects and Beyond
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
Häftad, 2014
561 kr
Del 10017
Del 13215
- -19%
- -30%
- 4 för 3