دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
دانلود کتاب جنبه های عملی زبان های اعلام شده: 12 سمپوزیوم بین المللی، PADL 2010، مادرید، اسپانیا، 18-19 ژانویه 2010. پرونده ها
مشخصات کتاب
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ویرایش: 1 نویسندگان: Enrico Pontelli (auth.), Manuel Carro, Ricardo Peña (eds.) سری: Lecture Notes in Computer Science 5937 : Programming and Software Engineering ISBN (شابک) : 9783642115035, 3642115039 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 307 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلام شده: 12 سمپوزیوم بین المللی، PADL 2010، مادرید، اسپانیا، 18-19 ژانویه 2010. پرونده ها: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلام شده: 12 سمپوزیوم بین المللی، PADL 2010، مادرید، اسپانیا، 18-19 ژانویه 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلام شده: 12 سمپوزیوم بین المللی، PADL 2010، مادرید، اسپانیا، 18-19 ژانویه 2010. پرونده ها
این کتاب مجموعه مقالات داوری دوازدهمین سمپوزیوم بین‌المللی جنبه‌های کاربردی زبان‌های اعلامی، PADL 2010، در مادرید، اسپانیا، در ژانویه 2010، همراه با POPL 2010، سمپوزیوم اصول زبان‌های برنامه‌نویسی است.
22 مقاله کامل اصلاح شده ارائه شده همراه با 2 سخنرانی دعوت شده به دقت بررسی و از بین 58 مورد ارسالی انتخاب شدند. این جلد دارای اثر اصلی است که بر کاربردهای جدید و تکنیک‌های پیاده‌سازی برای همه اشکال مفاهیم توضیحی، از جمله توابع، روابط، منطق، و محدودیت‌ها تأکید دارد. مقالات به تمام جنبه های جاری برنامه نویسی اعلامی می پردازند. آنها در بخش های موضوعی در مورد استدلال غیر یکنواخت - برنامه نویسی مجموعه پاسخ، انواع، موازی سازی و توزیع، تضمین کیفیت کد، زبان های خاص دامنه، کمک های برنامه نویسی، محدودیت ها، و جدول بندی - عوامل سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.
The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents.
فهرست مطالب
Front Matter....Pages -
Answer Set Programming in 2010: A Personal Perspective....Pages 1-3
An Introduction to Maude and Some of Its Applications....Pages 4-9
Efficient Application of Answer Set Programming for Advanced Data Integration....Pages 10-24
Implementing Query Answering for Hybrid MKNF Knowledge Bases....Pages 25-39
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport....Pages 40-42
Explicitly Typed Exceptions for Haskell....Pages 43-57
Conversion by Evaluation....Pages 58-72
Skeleton Composition Using Remote Data....Pages 73-87
Netlog, a Rule-Based Language for Distributed Programming....Pages 88-103
Similar Code Detection and Elimination for Erlang Programs....Pages 104-118
Static Detection of Race Conditions in Erlang....Pages 119-133
Automating Mathematical Program Transformations....Pages 134-148
ActionScript In-Lined Reference Monitoring in Prolog....Pages 149-151
An Ode to Arrows....Pages 152-166
Lazy Combinators for Executable Specifications of General Attribute Grammars....Pages 167-182
A Domain-Specific Language Approach to Protocol Stack Implementation....Pages 183-185
First-Order Interactive Programming....Pages 186-200
An ER-Based Framework for Declarative Web Programming....Pages 201-216
Lazy Explanations for Constraint Propagators....Pages 217-233
On the Implementation of the CLP( $\\mathcal BN$ ) Language....Pages 234-248
Compact Lists for Tabled Evaluation....Pages 249-263
A Simple and Efficient Implementation of Concurrent Local Tabling....Pages 264-278
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives....Pages 279-293
Prospective Storytelling Agents....Pages 294-296
Back Matter....Pages -
