| 書(shū)目名稱 | Programming Languages and Systems | | 副標(biāo)題 | 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 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-19 21:45
發(fā)表于 2025-3-21 18:08:25
