| 书目名称 | Programming Languages and Systems | | 副标题 | 8th Asian Symposium, | | 编辑 | Kazunori Ueda | | 视频video | | | 概述 | 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
|
|
发表于 2025-3-21 18:08:25
