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.
€57.35
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783642171642 ● 编辑 Kazunori Ueda ● 出版者 Springer Berlin Heidelberg ● 发布时间 2010 ● 下载 3 时 ● 货币 EUR ● ID 6321800 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
16,612 此类电子书
