Programming Languages and Systems
8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings| By: | Kazunori Ueda |
| Publisher: | Springer Nature |
| Print ISBN: | 9783642171635 |
| eText ISBN: | 9783642171642 |
| Edition: | 1 |
| Copyright: | 2010 |
| Format: | Page Fidelity |
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.