This book constitutes the refereed proceedings of the 5th Asian
Symposium on Programming Languages and Systems, APLAS 2007, held in
Singapore, in November/December 2007.
The 25 revised full papers presented together with 3 invited
talks were carefully reviewed and selected from 84 submissions. The
symposium addresses all issues in programming languages and systems
- ranging from foundational to practical issues. The papers focus
on topics such as semantics, logics, foundational theory, type
systems, language design, program analysis, optimization,
transformation, software security, safety, verification, compiler
systems, interpreters, abstract machines, domain-specific languages
and systems, as well as programming tools and environments.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Programming and Software Engineering, 4807 |
Release date: |
November 2007 |
First published: |
2007 |
Editors: |
Zhong Shao
|
Dimensions: |
235 x 155 x 23mm (L x W x T) |
Format: |
Paperback
|
Pages: |
436 |
Edition: |
2007 ed. |
ISBN-13: |
978-3-540-76636-0 |
Categories: |
Books >
Computing & IT >
Computer programming >
Programming languages >
General
|
LSN: |
3-540-76636-7 |
Barcode: |
9783540766360 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!