ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

ویرایش: 1 
نویسندگان:   
سری: 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، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب 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




نظرات کاربران