دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: نهمین سمپوزیوم آسیا ، APLAS 2011 ، کنینگ ، تایوان ، 5-7 دسامبر 2011. مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
ویرایش: 1 نویسندگان: Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.) سری: Lecture Notes in Computer Science 7078 Programming and Software Engineering ISBN (شابک) : 9783642253188, 3642253180 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 395 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: نهمین سمپوزیوم آسیا ، APLAS 2011 ، کنینگ ، تایوان ، 5-7 دسامبر 2011. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، سیستم ها و امنیت داده ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: نهمین سمپوزیوم آسیا ، APLAS 2011 ، کنینگ ، تایوان ، 5-7 دسامبر 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: نهمین سمپوزیوم آسیا ، APLAS 2011 ، کنینگ ، تایوان ، 5-7 دسامبر 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2011، برگزار شده در کنتینگ، تایوان، در دسامبر 2011 است. از بین 64 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخش های موضوعی در مورد تجزیه و تحلیل برنامه سازماندهی شده اند. برنامه نویسی تابعی؛ کامپایلر؛ همزمانی؛ مفاهیم؛ و همچنین گواهینامه و منطق.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.
فهرست مطالب
Front Matter....Pages -
Program Analysis and Machine Learning: A Win-Win Deal....Pages 1-2
Software Verification with Liquid Types....Pages 3-3
Engineering Theories with Z3....Pages 4-16
Algebra, Logic, Locality, Concurrency....Pages 17-18
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants....Pages 19-33
Template-Based Unbounded Time Verification of Affine Hybrid Automata....Pages 34-49
Access-Based Localization with Bypassing....Pages 50-65
A Deductive Database with Datalog and SQL Query Languages....Pages 66-73
Constructing List Homomorphisms from Proofs....Pages 74-88
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping....Pages 89-104
Polymorphic Multi-stage Language with Control Effects....Pages 105-120
Compiler Backend Generation for Application Specific Instruction Set Processors....Pages 121-136
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs....Pages 137-154
SPAS : Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA....Pages 155-171
On the Strength of Owicki-Gries for Resources....Pages 172-187
Solving Recursion-Free Horn Clauses over LI+UIF....Pages 188-203
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism....Pages 204-219
Decentralized Delimited Release....Pages 220-237
Cost Analysis of Concurrent OO Programs....Pages 238-254
Static Object Race Detection....Pages 255-271
Soundness of Data Flow Analyses for Weak Memory Models....Pages 272-288
Towards a General Theory of Barbs, Contexts and Labels....Pages 289-304
Computation-by-Interaction with Effects....Pages 305-321
Towards a Certified Petri Net Model-Checker....Pages 322-336
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy....Pages 337-352
A Proof Pearl with the Fan Theorem and Bar Induction....Pages 353-368
A Semantics for Context-Sensitive Reduction Semantics....Pages 369-383
Back Matter....Pages -
