DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
http://lib.hpu.edu.vn/handle/123456789/21216| Title: | Programming Languages and Systems |
| Authors: | Feng, Xinyu Park, Sungwoo |
| Keywords: | Programming languages Compilers Programs mathematical logic |
| Issue Date: | 2015 |
| Publisher: | Springer International Publishing |
| Series/Report no.: | Lecture Notes in Computer Science 9458 |
| 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. |
| URI: | https://lib.hpu.edu.vn/handle/123456789/21216 |
| ISBN: | 978-3-319-26528-5 978-3-319-26529-2 |
| Appears in Collections: | Technology |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 2_ProgrammingLanguagesandSystems.pdf Restricted Access | 17.03 MB | Adobe PDF |  View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.