Availability: In Stock

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 – December 1, 2010 Proceedings 1st Edition

SKU: 9783642171642

Original price was: $54.99.Current price is: $24.99.

Access Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 – December 1, 2010 Proceedings 1st Edition Now. Discount up to 90%

Additional information

Full Title

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 – December 1, 2010 Proceedings 1st Edition

Author(s)

Kazunori Ueda

Edition

1st Edition

ISBN

9783642171642, 9783642171635

Publisher

Springer

Format

PDF and EPUB

Description

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.