دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
دانلود کتاب جنبه های عملی زبان های اعلانی: سیزدهمین سمپوزیوم بین المللی، PADL 2011، آستین، تگزاس، ایالات متحده آمریکا، 24-25 ژانویه 2011. مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
ویرایش: 1 نویسندگان: Roope Kaivola (auth.), Ricardo Rocha, John Launchbury (eds.) سری: Lecture Notes in Computer Science 6539 ISBN (شابک) : 3642183778, 9783642183775 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 275 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلانی: سیزدهمین سمپوزیوم بین المللی، PADL 2011، آستین، تگزاس، ایالات متحده آمریکا، 24-25 ژانویه 2011. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلانی: سیزدهمین سمپوزیوم بین المللی، PADL 2011، آستین، تگزاس، ایالات متحده آمریکا، 24-25 ژانویه 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلانی: سیزدهمین سمپوزیوم بین المللی، PADL 2011، آستین، تگزاس، ایالات متحده آمریکا، 24-25 ژانویه 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین سمپوزیوم بین‌المللی جنبه‌های کاربردی زبان‌های اعلانی، PADL 2011، در آستین، تگزاس، ایالات متحده آمریکا، در ژانویه 2011، با هم‌مکانی POPL 2011، سمپوزیوم در اصول است. از زبان های برنامه نویسی 17 مقاله کامل اصلاح شده ارائه شده همراه با یک مقاله کاربردی به دقت بررسی و از بین 40 مقاله ارسالی انتخاب شدند. این جلد شامل مشارکت‌های متنوعی از شبکه‌های انتقال پیام و تلفن همراه، برنامه‌نویسی همزمان و موازی، پردازش رویداد و برنامه‌نویسی واکنشی، پروفایل و قابلیت حمل در Prolog، برنامه‌نویسی محدودیت‌ها، ترکیب‌کننده‌های دستور زبان، ادغام مجموعه باورها و کار بر روی برنامه‌های افزودنی و ابزارهای زبان جدید است. .
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability in Prolog, constraint programming, grammar combinators, belief set merging and work on new language extensions and tools.
فهرست مطالب
Front Matter....Pages -
Intel $^{\mbox{\scriptsize\circledR}}$ Core $^{\mbox{\scriptsize TM}}$ i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework....Pages 1-1
Learning Language from Its Perceptual Context....Pages 2-4
Detection of Asynchronous Message Passing Errors Using Static Analysis....Pages 5-18
Combinators for Message-Passing in Haskell....Pages 19-33
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog....Pages 34-37
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs....Pages 38-53
Plato: A Compiler for Interactive Web Forms....Pages 54-68
On the Portability of Prolog Applications....Pages 69-83
Explicitly Recursive Grammar Combinators....Pages 84-98
Declarative Belief Set Merging Using Merging Plans....Pages 99-114
Using Constraints for Intrusion Detection: The NeMODe System....Pages 115-129
A Declarative API for Particle Systems....Pages 130-144
Integrating XPath with the Functional-Logic Language Toy....Pages 145-159
Sloth – A Tool for Checking Minimal-Strictness....Pages 160-174
The F# Asynchronous Programming Model....Pages 175-189
Kanor....Pages 190-204
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming....Pages 205-219
Results on Out-of-Order Event Processing....Pages 220-234
Nettle: Taking the Sting Out of Programming Network Routers....Pages 235-249
Determining Actual Response Time in P-FRP....Pages 250-264
Back Matter....Pages -
