دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings
دانلود کتاب جنبه های عملی زبان های اعلامی: یازدهمین سمپوزیوم بین المللی ، PADL 2009 ، Savannah ، GA ، ایالات متحده ، 19-20 ژانویه ، 2009. مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings
ویرایش: 1 نویسندگان: Luís Moniz Pereira, Pierangelo Dell’Acqua, Gonçalo Lopes (auth.), Andy Gill, Terrance Swift (eds.) سری: Lecture Notes in Computer Science 5418 : Programming and Software Engineering ISBN (شابک) : 9783540929956, 3540929940 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 292 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلامی: یازدهمین سمپوزیوم بین المللی ، PADL 2009 ، Savannah ، GA ، ایالات متحده ، 19-20 ژانویه ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلامی: یازدهمین سمپوزیوم بین المللی ، PADL 2009 ، Savannah ، GA ، ایالات متحده ، 19-20 ژانویه ، 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم
بین‌المللی
جنبه‌های کاربردی زبان‌های اعلانی، PADL 2009، برگزار شده
در ساوانا، GA، ایالات متحده آمریکا، در ژانویه 2009، همراه با
POPL 2009 است.
سمپوزیوم اصول زبان های برنامه نویسی.
18 مقاله کامل اصلاح شده ارائه شده همراه با 1 سخنرانی دعوت
شده،
به دقت بررسی و از بین 48 مورد ارسالی انتخاب شدند. این حجم
دارای
کار اصلی است که بر کاربردهای جدید و تکنیک های پیاده
سازی
برای همه اشکال مفاهیم اعلامی، از جمله توابع،
روابط، منطق و محدودیت ها تاکید دارد. مقالات به تمام جنبه‌های
فعلی برنامه‌نویسی اعلامی می‌پردازند. آنها در
بخش های موضوعی در رابط های کاربر و محیط ها، شبکه ها و داده
ها،
چند رشته ای و موازی سازی، پایگاه های داده و مجموعه های بزرگ
داده، جدول بندی
و بهینه سازی، و همچنین پسوندها و پیاده سازی زبان سازماندهی
شده اند. BR>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th
International
Symposium on Practical Aspects of Declarative Languages, PADL
2009, held
in Savannah, GA, USA, in January 2009, colocated with POPL
2009, the
Symposium on Principles of Programming Languages.
The 18 revised full papers presented together with 1 invited
talk were
carefully reviewed and selected from 48 submissions. The
volume features
original work emphasizing novel applications and
implementation
techniques for all forms of declarative concepts, including
functions,
relations, logic, and constraints. The papers address all
current
aspects of declarative programming; they are organized in
topical
sections on user interfaces and environments, networks and
data,
multi-threading and parallelism, databases and large data
sets, tabling
and optimization, as well as language extensions and
implementation.
فهرست مطالب
Front Matter....Pages -
On Preferring and Inspecting Abductive Models....Pages 1-15
Declarative Programming of User Interfaces....Pages 16-30
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs....Pages 31-45
Toward a Practical Module System for ACL2....Pages 46-60
Declarative Network Verification....Pages 61-75
Operational Semantics for Declarative Networking....Pages 76-90
Ad Hoc Data and the Token Ambiguity Problem....Pages 91-106
High Level Thread-Based Competitive Or-Parallelism in Logtalk....Pages 107-121
Implementing Thread Cancellation in Multithreaded Prolog Systems....Pages 122-136
Interoperating Logic Engines....Pages 137-151
High-Level Interaction with Relational Databases in Logic Programming....Pages 152-167
Typed Datalog....Pages 168-182
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell....Pages 183-194
One Table Fits All....Pages 195-208
Recycle Your Arrays!....Pages 209-223
Towards a Complete Scheme for Tabled Execution Based on Program Transformation....Pages 224-238
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications....Pages 239-253
Layered Models Top-Down Querying of Normal Logic Programs....Pages 254-268
Secure Implementation of Meta-predicates....Pages 269-283
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Just another mountain: a memoir
دانلود کتاب OECD environmental indicators : 2005 : environment at a glance
دانلود کتاب The Little Prince
