ENGLISH

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

By Koen Claessen (auth.) , Zhenjiang Hu (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2009
ISBN
9783642106729, 3642106722
DOI
10.1007/978-3-642-10672-9
Language
english
Format
PDF
Filesize
4 MB (4434361 bytes)
Series
Lecture Notes in Computer Science 5904 : Programming and Software Engineering
Edition
1
Pages
359\368
Time added
2013-04-24 17:00:00
CompilersInterpreters; Software Engineering; Logics and MeaProgramming Languages

Description

This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.

Similar books