Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science)
暫譯: 程式語言與系統：第十三屆亞洲研討會 APLAS 2015，韓國浦項，2015年11月30日至12月2日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2015-12-10
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 506
- 裝訂: Paperback
- ISBN: 3319265288
- ISBN-13: 9783319265285
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第十三屆亞洲程式語言與系統研討會（APLAS 2015）的經過審查的會議論文集，該會議於2015年11月至12月在南韓浦項舉行。共計24篇常規論文和1篇短文從74篇投稿中經過仔細審查和選擇。這些論文涵蓋了程式語言和系統中的各種基礎和實務問題，並按照主題分為編譯器、分離邏輯、靜態分析與抽象解釋、霍爾邏輯與類型、函數式程式設計與語義、模型檢查、程式分析、混合及程式模型等部分。
