دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: سیزدهمین سمپوزیوم آسیایی، APLAS 2015، پوهانگ، کره جنوبی، 30 نوامبر - 2 دسامبر 2015، مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
ویرایش: 1
نویسندگان: Xinyu Feng. Sungwoo Park (eds.)
سری: Lecture Notes in Computer Science 9458
ISBN (شابک) : 9783319265285, 9783319265292
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 507
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: سیزدهمین سمپوزیوم آسیایی، APLAS 2015، پوهانگ، کره جنوبی، 30 نوامبر - 2 دسامبر 2015، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: سیزدهمین سمپوزیوم آسیایی، APLAS 2015، پوهانگ، کره جنوبی، 30 نوامبر - 2 دسامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: سیزدهمین سمپوزیوم آسیایی، APLAS 2015، پوهانگ، کره جنوبی، 30 نوامبر - 2 دسامبر 2015، مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2015، برگزار شده در پوهانگ، کره جنوبی، در نوامبر/دسامبر 2015 است. از بین 74 ارسال انتخاب شده است. این مقالات موضوعات مختلف اساسی و عملی در زبان‌ها و سیستم‌های برنامه‌نویسی را پوشش می‌دهند و در بخش‌های موضوعی کامپایلرها، منطق جداسازی، تحلیل استاتیک و تفسیر انتزاعی، منطق و انواع Hoare، برنامه‌نویسی تابعی و معناشناسی، بررسی مدل، تجزیه و تحلیل برنامه، سازمان‌دهی شده‌اند. مدل‌های ترکیبی و برنامه‌نویسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.
فهرست مطالب
Front Matter....Pages I-XIX
Front Matter....Pages 1-1
Programming with “Big Code”....Pages 3-8
Front Matter....Pages 9-9
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects....Pages 11-28
A Secure Compiler for ML Modules....Pages 29-48
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA....Pages 49-65
Front Matter....Pages 67-67
Separation Logic with Monadic Inductive Definitions and Implicit Existentials....Pages 69-89
Tree-Like Grammars and Separation Logic....Pages 90-108
Front Matter....Pages 109-109
Randomized Resource-Aware Path-Sensitive Static Analysis....Pages 111-126
Quadratic Zonotopes....Pages 127-145
Abstraction of Optional Numerical Values....Pages 146-166
Front Matter....Pages 167-167
Fault-Tolerant Resource Reasoning....Pages 169-188
Shifting the Blame....Pages 189-207
Aliasing Control in an Imperative Pure Calculus....Pages 208-228
Front Matter....Pages 229-229
A Strong Distillery....Pages 231-250
From Call-by-Value to Interaction by Typed Closure Conversion....Pages 251-270
Kripke Open Bisimulation....Pages 271-291
Front Matter....Pages 293-293
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs....Pages 295-312
Decision Algorithms for Checking Definability of Order-2 Finitary PCF....Pages 313-331
Front Matter....Pages 333-333
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations....Pages 335-355
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM....Pages 356-365
Front Matter....Pages 367-367
Quasi-Linearizability is Undecidable....Pages 369-386
Front Matter....Pages 367-367
Objects in Polynomial Time....Pages 387-404
Front Matter....Pages 405-405
Programming Techniques for Reversible Comparison Sorts....Pages 407-426
Transactions on Mergeable Objects....Pages 427-444
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers....Pages 445-462
Front Matter....Pages 463-463
Bottom-Up Context-Sensitive Pointer Analysis for Java....Pages 465-484
More Sound Static Handling of Java Reflection....Pages 485-503
Back Matter....Pages 505-506
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Economics of Land Degradation and Improvement – A Global Assessment for Sustainable Development
دانلود کتاب Tragic Ambiguity: Anthropology, Philosophy and Sophocles' Antigone
دانلود کتاب Child Survival: Anthropological Perspectives on the Treatment and Maltreatment of Children
