ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

مشخصات کتاب

Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

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



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

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


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




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