| 書目名稱 | Programming Languages and Systems | | 副標題 | 8th Asian Symposium, | | 編輯 | Kazunori Ueda | | 視頻video | http://file.papertrans.cn/761/760085/760085.mp4 | | 概述 | Up to date results.Fast conference proceedings.State-of-the-art report | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | 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. | | 出版日期 | Conference proceedings 2010 | | 關鍵詞 | APL; Constraint; LA; derivation; design; programming; programming language; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-17164-2 | | isbn_softcover | 978-3-642-17163-5 | | isbn_ebook | 978-3-642-17164-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer Berlin Heidelberg 2010 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-19 23:59
發(fā)表于 2025-3-21 18:08:25
