دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: چهاردهمین سمپوزیوم آسیایی، APLAS 2016، هانوی، ویتنام، 21 - 23 نوامبر 2016، مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
ویرایش: 1
نویسندگان: Atsushi Igarashi (eds.)
سری: Lecture Notes in Computer Science 10017
ISBN (شابک) : 9783319479583, 9783319479576
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 467
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: چهاردهمین سمپوزیوم آسیایی، APLAS 2016، هانوی، ویتنام، 21 - 23 نوامبر 2016، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: چهاردهمین سمپوزیوم آسیایی، APLAS 2016، هانوی، ویتنام، 21 - 23 نوامبر 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: چهاردهمین سمپوزیوم آسیایی، APLAS 2016، هانوی، ویتنام، 21 - 23 نوامبر 2016، مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2016، برگزار شده در هانوی، ویتنام، در نوامبر 2016 است.
مقالات موضوعات مختلفی را پوشش می‌دهند. مانند معناشناسی، منطق و نظریه بنیادی. طراحی سیستم های نوع زبان و محاسبات پایه. زبان های دامنه خاص؛ کامپایلرها، مفسرها و ماشین های انتزاعی؛ اشتقاق، سنتز و تبدیل برنامه؛ تجزیه و تحلیل برنامه، تأیید، و بررسی مدل؛ برنامه ریزی منطقی، محدودیت، احتمالاتی و کوانتومی؛ امنیت نرم افزار؛ همزمانی و موازی سازی؛ ابزارهایی برای برنامه نویسی و پیاده سازی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.
The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.
فهرست مطالب
Front Matter....Pages I-XVII
Front Matter....Pages 1-1
Substructural Proofs as Automata....Pages 3-22
Front Matter....Pages 23-23
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase....Pages 25-41
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code....Pages 42-62
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models....Pages 63-84
Front Matter....Pages 85-85
SPEC: An Equivalence Checker for Security Protocols....Pages 87-95
Binary Session Types for Psi-Calculi....Pages 96-115
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go....Pages 116-136
Front Matter....Pages 137-137
AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications....Pages 139-147
A Debugger-Cooperative Higher-Order Contract System in Python....Pages 148-168
Front Matter....Pages 169-169
A Realizability Interpretation for Intersection and Union Types....Pages 171-186
Open Call-by-Value....Pages 187-205
Front Matter....Pages 206-226
Implementing Cantor’s Paradise....Pages 227-227
Unified Syntax with Iso-types....Pages 229-250
Refined Environment Classifiers....Pages 251-270
Front Matter....Pages 271-291
Higher-Order Model Checking in Direct Style....Pages 293-293
Verifying Concurrent Graph Algorithms....Pages 295-313
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation....Pages 314-334
Front Matter....Pages 335-353
Probabilistic Programming Language and its Incremental Evaluation....Pages 355-355
Front Matter....Pages 357-376
DOM: Specification and Client Reasoning....Pages 377-397
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic....Pages 399-399
Completeness for a First-Order Abstract Separation Logic....Pages 401-422
Back Matter....Pages 423-443
....Pages 444-463
