APLAS 2014 - 12th Asian Symposium on Programming Languages and Systems

The symposium is devoted to foundational and practical issues in programming languages and systems.Papers are solicited on topics such as, but not limited to:
 * semantics, logics, foundational theory
 * design of languages, type systems and foundational calculi
 * domain-specic languages
 * compilers, interpreters, abstract machines
 * program derivation, synthesis and transformation
 * program analysis, verication, model-checking
 * logic, constraint, probabilistic and quantum programming
 * software security
 * concurrency and parallelism
 * tools and and environments for programming and implementation