دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: دوازدهمین سمپوزیوم آسیایی، APLAS 2014، سنگاپور، سنگاپور، 17-19 نوامبر 2014، مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
ویرایش: 1
نویسندگان: Jacques Garrigue (eds.)
سری: Lecture Notes in Computer Science 8858 Programming and Software Engineering
ISBN (شابک) : 9783319127354, 9783319127361
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 504
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: دوازدهمین سمپوزیوم آسیایی، APLAS 2014، سنگاپور، سنگاپور، 17-19 نوامبر 2014، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: دوازدهمین سمپوزیوم آسیایی، APLAS 2014، سنگاپور، سنگاپور، 17-19 نوامبر 2014، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: دوازدهمین سمپوزیوم آسیایی، APLAS 2014، سنگاپور، سنگاپور، 17-19 نوامبر 2014، مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2014 است که در نوامبر 2014 در سنگاپور، سنگاپور برگزار شد. از 57 ارسالی این مقالات انواع مختلفی از مسائل اساسی و عملی در زبان‌ها و سیستم‌های برنامه‌نویسی را پوشش می‌دهند - از مسائل اساسی تا عملی. این مقالات بر موضوعاتی مانند معناشناسی، منطق، نظریه بنیادی تمرکز دارند. طراحی زبان ها، سیستم های نوع و محاسبات پایه؛ زبان های دامنه خاص؛ کامپایلر، مفسر، ماشین های انتزاعی. اشتقاق، سنتز و تبدیل برنامه؛ تجزیه و تحلیل برنامه، تأیید، بررسی مدل؛ برنامه ریزی منطقی، محدودیت، احتمالاتی و کوانتومی؛ امنیت نرم افزار؛ همزمانی و موازی سازی؛ و همچنین ابزارها و محیط هایی برای برنامه نویسی و پیاده سازی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation.
فهرست مطالب
Front Matter....Pages -
NetKAT — A Formal System for the Verification of Networks....Pages 1-18
Optimized Compilation of Multiset Rewriting with Comprehensions....Pages 19-38
Logic Programming and Logarithmic Space....Pages 39-57
Automatic Memory Management Based on Program Transformation Using Ownership....Pages 58-77
The Essence of Ruby....Pages 78-98
Types for Flexible Objects....Pages 99-119
A Translation of Intersection and Union Types for the λμ -Calculus....Pages 120-139
A Formalized Proof of Strong Normalization for Guarded Recursive Types....Pages 140-158
Functional Pearl: Nearest Shelters in Manhattan....Pages 159-175
Suppl : A Flexible Language for Policies....Pages 176-195
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking....Pages 196-215
Model-Checking for Android Malware Detection....Pages 216-235
Necessary and Sufficient Preconditions via Eager Abstraction....Pages 236-254
Resource Protection Using Atomics....Pages 255-274
Resource Analysis of Complex Programs with Cost Equations....Pages 275-295
Simple and Efficient Algorithms for Octagons....Pages 296-313
Compositional Entailment Checking for a Fragment of Separation Logic....Pages 314-333
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs....Pages 334-353
A ZDD-Based Efficient Higher-Order Model Checking Algorithm....Pages 354-371
Inferring Grammatical Summaries of String Values....Pages 372-391
Syntax-Directed Divide-and-Conquer Data-Flow Analysis....Pages 392-407
Address Chain: Profiling Java Objects without Overhead in Java Heaps....Pages 408-427
Call-by-Value in a Basic Logic for Interaction....Pages 428-448
A Precise and Abstract Memory Model for C Using Symbolic Values....Pages 449-468
Hereditary History-Preserving Bisimilarity: Logics and Automata....Pages 469-488
Back Matter....Pages -
