دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: دهمین سمپوزیوم آسیایی، APLAS 2012، کیوتو، ژاپن، 11-13 دسامبر 2012. مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
ویرایش: 1 نویسندگان: Jan Vitek (auth.), Ranjit Jhala, Atsushi Igarashi (eds.) سری: Lecture Notes in Computer Science 7705 ISBN (شابک) : 9783642351815, 9783642351822 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 398 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: دهمین سمپوزیوم آسیایی، APLAS 2012، کیوتو، ژاپن، 11-13 دسامبر 2012. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، سیستم ها و امنیت داده ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: دهمین سمپوزیوم آسیایی، APLAS 2012، کیوتو، ژاپن، 11-13 دسامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: دهمین سمپوزیوم آسیایی، APLAS 2012، کیوتو، ژاپن، 11-13 دسامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2012، برگزار شده در کیوتو، ژاپن، در دسامبر 2012 است. و از بین 58 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در زمینه همزمانی، امنیت، تجزیه و تحلیل استاتیک، طراحی زبان، تجزیه و تحلیل پویا، پیچیدگی و معناشناسی، و منطق برنامه و تأیید سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.
فهرست مطالب
Front Matter....Pages -
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection....Pages 1-1
JATO: Native Code Atomicity for Java....Pages 2-17
Ownership Types for Object Synchronisation....Pages 18-33
A Functional View of Imperative Information Flow....Pages 34-49
End-to-end Multilevel Hybrid Information Flow Control....Pages 50-65
Succour to the Confused Deputy....Pages 66-81
Types and Access Controls for Cross-Domain Security in Flash....Pages 82-97
Linear Approximation of Continuous Systems with Trapezoid Step Functions....Pages 98-114
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code....Pages 115-130
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks....Pages 131-147
Vinter: A Vampire-Based Tool for Interpolation....Pages 148-156
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis....Pages 157-172
Inference of Necessary Field Conditions with Abstract Interpretation....Pages 173-189
Lazy v. Yield: Incremental, Linear Pretty-Printing....Pages 190-206
Dynamic Software Update for Message Passing Programs....Pages 207-222
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming....Pages 223-238
Concurrent Test Generation Using Concolic Multi-trace Analysis....Pages 239-255
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis....Pages 256-263
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints....Pages 264-279
A New Order-Theoretic Characterisation of the Polytime Computable Functions....Pages 280-295
A Dynamic Interpretation of the CPS Hierarchy....Pages 296-311
Scalable Formal Machine Models....Pages 312-314
Modular Verification of Concurrent Thread Management....Pages 315-331
A Case for Behavior-Preserving Actions in Separation Logic....Pages 332-349
A Generic Cyclic Theorem Prover....Pages 350-367
Decision Procedures over Sophisticated Fractional Permissions....Pages 368-385
Mechanized Semantics for Compiler Verification....Pages 386-388
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The situation in logic
دانلود کتاب Courtesans and fishcakes: the consuming passions of Classical Athens
دانلود کتاب Whose Antigone?: The Tragic Marginalization of Slavery
دانلود کتاب Cap sur le grand continent blanc
