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.
| ISBN: | 9783319479576 |
| Publication date: | 9th October 2016 |
| Author: | Atsushi Igarashi |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 465 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Compilers and interpreters Software Engineering Mathematical theory of computation |
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.
Programming Languages and Systems features in the following genres: Compilers and interpreters, Software Engineering, Mathematical theory of computation
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Programming Languages and Systems was written by Atsushi Igarashi and published by Springer International Publishing AG
Programming Languages and Systems has 465 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.