ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

دانلود کتاب زبان ها و سیستم های برنامه نویسی: ششمین سمپوزیوم آسیا ، APLAS 2008 ، بنگلور ، هند ، 9-11 دسامبر 2008. مجموعه مقالات

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

مشخصات کتاب

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 5356 : Programming and Software Engineering 
ISBN (شابک) : 3540893296, 9783540893295 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 350 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 40,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: ششمین سمپوزیوم آسیا ، APLAS 2008 ، بنگلور ، هند ، 9-11 دسامبر 2008. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، سیستم عامل ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: ششمین سمپوزیوم آسیا ، APLAS 2008 ، بنگلور ، هند ، 9-11 دسامبر 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: ششمین سمپوزیوم آسیا ، APLAS 2008 ، بنگلور ، هند ، 9-11 دسامبر 2008. مجموعه مقالات



این کتاب مجموعه مقالات داوری ششمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2008، برگزار شده در بنگلور، هند، در دسامبر 2008 است.

20 مقاله کامل اصلاح‌شده با هم ارائه شده‌اند. با 3 گفتگو دعوت شده به دقت بررسی و از بین 41 مورد ارسالی انتخاب شد. این سمپوزیوم به تمام موضوعات اعم از مسائل اساسی تا عملی در زبان ها و سیستم های برنامه نویسی اختصاص دارد. این مقالات موضوعاتی مانند معناشناسی، منطق، نظریه بنیادی، سیستم‌های نوع، طراحی زبان، تجزیه و تحلیل برنامه، بهینه‌سازی، تبدیل، امنیت نرم‌افزار، ایمنی، تأیید، سیستم‌های کامپایلر، مفسرها، ماشین‌های انتزاعی، زبان‌ها و سیستم‌های خاص دامنه را پوشش می‌دهند. به عنوان ابزارها و محیط های برنامه نویسی.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008.

The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.



فهرست مطالب

Front Matter....Pages -
Abductive Inference for Reasoning about Heaps....Pages 1-2
A Sound Floating-Point Polyhedra Abstract Domain....Pages 3-18
A Flow-Sensitive Region Inference for CLI....Pages 19-35
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution....Pages 36-52
Static Detection of Place Locality and Elimination of Runtime Checks....Pages 53-74
Certified Reasoning in Memory Hierarchies....Pages 75-90
The Complexity of Coverage....Pages 91-106
Game Characterizations of Process Equivalences....Pages 107-121
Extensional Universal Types for Call-by-Value....Pages 122-137
Harnessing the Multicores: Nested Data Parallelism in Haskell....Pages 138-138
Minimal Ownership for Active Objects....Pages 139-154
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References....Pages 155-170
Reasoning about Java’s Reentrant Locks....Pages 171-187
ML Modules and Haskell Type Classes: A Constructive Comparison....Pages 188-204
The Essence of Form Abstraction....Pages 205-220
On Affine Usages in Signal-Based Communication....Pages 221-236
Abstraction of Clocks in Synchronous Data-Flow Systems....Pages 237-254
From Authorization Logics to Types for Authorization....Pages 255-255
Interface Types for Haskell....Pages 256-272
Exception Handlers as Extensible Cases....Pages 273-289
Sound and Complete Type Inference for a Systems Programming Language....Pages 290-306
An Operational Semantics for JavaScript....Pages 307-325
JavaScript Instrumentation in Practice....Pages 326-341
Back Matter....Pages -




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