دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
دانلود کتاب جنبه های عملی زبانهای اعلامی: پانزدهمین سمپوزیوم بین المللی ، PADL 2013 ، رم ، ایتالیا ، 21 تا 22 ژانویه ، 2013. مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
ویرایش: 1 نویسندگان: Paul Klint, Atze van der Ploeg (auth.), Kostis Sagonas (eds.) سری: Lecture Notes in Computer Science 7752 Programming and Software Engineering ISBN (شابک) : 9783642452833, 9783642452840 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 273 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبانهای اعلامی: پانزدهمین سمپوزیوم بین المللی ، PADL 2013 ، رم ، ایتالیا ، 21 تا 22 ژانویه ، 2013. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبانهای اعلامی: پانزدهمین سمپوزیوم بین المللی ، PADL 2013 ، رم ، ایتالیا ، 21 تا 22 ژانویه ، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبانهای اعلامی: پانزدهمین سمپوزیوم بین المللی ، PADL 2013 ، رم ، ایتالیا ، 21 تا 22 ژانویه ، 2013. مجموعه مقالات
این کتاب مجموعه مقالات پس از داوری پانزدهمین سمپوزیوم بین‌المللی جنبه‌های کاربردی زبانهای اعلانی، PADL 2013، برگزار شده در رم، ایتالیا، در ژانویه 2013، هم‌زمان با POPL 2013، چهلمین سمپوزیوم در مورد اصول برنامه است. زبان ها. 17 مقاله اصلاح شده ارائه شده با دقت بررسی و از بین 33 مقاله ارسالی انتخاب شدند. این جلد دارای اثر اصلی است که بر ایده‌های جدید و تکنیک‌های پیاده‌سازی برای همه اشکال مفاهیم اعلامی، از جمله عملکردی، منطقی و محدودیت‌ها تأکید دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic and constraints.
فهرست مطالب
Front Matter....Pages -
A Library for Declarative Resolution-Independent 2D Graphics....Pages 1-18
Analysing the Entire Wikipedia History with Database Supported Haskell....Pages 19-25
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis....Pages 26-42
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction....Pages 43-59
Supporting Pruning in Tabled LP....Pages 60-76
A Portable and Efficient Implementation of Coinductive Logic Programming....Pages 77-92
Formalizing a Broader Recursion Coverage in SQL....Pages 93-108
A Declarative-Friendly API for Web Document Manipulation....Pages 109-124
Implementing Equational Constraints in a Functional Language....Pages 125-140
On the Efficient Implementation of Mode-Directed Tabling....Pages 141-156
The Generalized Intensional Transformation for Implementing Lazy Functional Languages....Pages 157-172
Terminyzer : An Automatic Non-termination Analyzer for Large Logic Programs....Pages 173-189
Integrative Functional Statistics in Logic Programming....Pages 190-205
Reversible Language Extensions and Their Application in Debugging....Pages 206-221
proSQLite : Prolog File Based Databases via an SQLite Interface....Pages 222-227
Dependently Typed Web Client Applications....Pages 228-243
Parallel Performance of Declarative Programming Using a PGAS Model....Pages 244-260
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Algebre commutative: Chapitres 8 et 9
دانلود کتاب Russian nationality policy in the Western provinces of the Empire (1863-1905)
دانلود کتاب Dodging energy vampires: an empath's guide to evading relationships that drain you and restoring your health and power
