Programming Languages and Systems, 4 conf., APLAS 2006

This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006.

The 22 revised full papers presented together with 2 invited talks and 1 tutorial were carefully reviewed and selected from 70 submissions. The symposium is devoted to both foundational and practical issues in programming languages and systems. Among the topics covered are semantics, logics, type theory, language design, program analysis, optimization and transformation, software security, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.