ENGLISH

Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

By Kazunori Ueda (eds.) , Chaochen Zhou , Jiang Liu , Jidong Lv , Zhao Quan , Naijun Zhan , Hengjun Zhao , Liang Zou (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
364217163X, 9783642171635
DOI
10.1007/978-3-642-17164-2
Language
english
Format
PDF
Filesize
5 MB (5255101 bytes)
Series
Lecture Notes in Computer Science 6461 : Programming and Software Engineering
Edition
1
Pages
440\466
Orientation
no
Scanned
no
Time added
2011-08-31 04:54:40
CompilersInterpreters; Software Engineering; Logics and MeaProgramming Languages

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.

Similar books