دانلود کتاب Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Name: Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Availability: InStock
Author: Jiang Liu
ISBN: 364217163X, 9783642171635

by Jiang Liu

عنوان فارسی: زبان های برنامه نویسی و سیستم های: سمپوزیوم 8 آسیایی، APLAS 2010، شانگهای، چین، 28 نوامبر-دسامبر 1، 2010. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2010
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 440-466
شابک: 364217163X, 9783642171635
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 5.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.

گزارش اشکال ⚠