Programming Languages and Systems

dc.contributor.author	Feng, Xinyu	en_US
dc.contributor.author	Park, Sungwoo	en_US
dc.date.accessioned	2016-06-10T08:32:41Z
dc.date.available	2016-06-10T08:32:41Z
dc.date.issued	2015	en_US
dc.identifier.isbn	978-3-319-26528-5	en_US
dc.identifier.isbn	978-3-319-26529-2	en_US
dc.identifier.other	HPU1160041	en_US
dc.identifier.uri	https://lib.hpu.edu.vn/handle/123456789/21216
dc.description.abstract	This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.	en_US
dc.format.extent	507 p.	en_US
dc.format.mimetype	application/pdf
dc.language.iso	en	en_US
dc.publisher	Springer International Publishing	en_US
dc.relation.ispartofseries	Lecture Notes in Computer Science 9458	en_US
dc.subject	Programming languages	en_US
dc.subject	Compilers	en_US
dc.subject	Programs mathematical logic	en_US
dc.title	Programming Languages and Systems	en_US
dc.type	Book	en_US
dc.size	17,028KB	en_US
dc.department	English resources	en_US