عنوان
پدید آورنده
موضوع
رده
QA76.7 .A65 2011
QA76
.
7
.
A65
2011
کتابخانه
محل استقرار
3642253180
9783642253188
9783642253171
b434337
Programming languages and systems :
[Book]
9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings /
Hongseok Yang (edition)
1 online resource (xi, 383 pages)
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
7078
0302-9743 ;
Includes bibliographical references and author index
This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic
9783642253171
Programming languages (Electronic computers), Congresses
Software engineering, Congresses
005
.
13
23
QA76
.
7
.
A65
2011
Yang, Hongseok
APLAS (Symposium)(9th :2011 :, Kʻen-ting, Taiwan)
20170726082129.0
pn
مطالعه متن کتاب [Book]
Y
