دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Dino Distefano (auth.), G. Ramalingam (eds.) سری: 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 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: ششمین سمپوزیوم آسیا ، APLAS 2008 ، بنگلور ، هند ، 9-11 دسامبر 2008. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، سیستم عامل ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب 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، برگزار شده در بنگلور، هند، در دسامبر 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 -