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.
| ISBN: | 9783642351815 |
| Publication date: | 29th October 2012 |
| Author: | APLAS Symposium, Ranjit Jhala, Atsushi Igarashi |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 388 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Software Engineering Network security Mathematical theory of computation Computer security Computer programming / software engineering |
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.
Programming Languages and Systems features in the following genres: Compilers and interpreters, Software Engineering, Network security, Mathematical theory of computation, Computer security, Computer programming / software engineering
Paperback. Not Available.
Programming Languages and Systems was written by APLAS Symposium, Ranjit Jhala, Atsushi Igarashi and published by Springer an imprint of Springer Berlin Heidelberg
Programming Languages and Systems has 388 pages
Yes it is part of Lecture Notes in Computer Science series