Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more.
| ISBN: | 9783540297352 |
| Publication date: | 21st October 2005 |
| Author: | APLAS Symposium, Kwangkeun Yi |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 435 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Operating systems Computer programming / software engineering |
Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more.
Programming Languages and Systems features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters, Operating systems, Computer programming / software engineering
Paperback. Not Available.
Programming Languages and Systems was written by APLAS Symposium, Kwangkeun Yi and published by Springer an imprint of Springer Berlin Heidelberg
Programming Languages and Systems has 435 pages
Yes it is part of Lecture Notes in Computer Science series