دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
دانلود کتاب جنبه های عملی زبانهای اعلامی: دهمین سمپوزیوم بین المللی ، PADL 2008 ، سان فرانسیسکو ، CA ، ایالات متحده ، 7-8 ژانویه 2008. مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: John Launchbury (auth.), Paul Hudak, David S. Warren (eds.) سری: Lecture Notes in Computer Science 4902 : Programming and Software Engineering ISBN (شابک) : 3540774416, 9783540774419 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 343 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبانهای اعلامی: دهمین سمپوزیوم بین المللی ، PADL 2008 ، سان فرانسیسکو ، CA ، ایالات متحده ، 7-8 ژانویه 2008. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبانهای اعلامی: دهمین سمپوزیوم بین المللی ، PADL 2008 ، سان فرانسیسکو ، CA ، ایالات متحده ، 7-8 ژانویه 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبانهای اعلامی: دهمین سمپوزیوم بین المللی ، PADL 2008 ، سان فرانسیسکو ، CA ، ایالات متحده ، 7-8 ژانویه 2008. مجموعه مقالات
این کتاب، همراه با فایل‌های آنلاین و به‌روزرسانی‌ها، حوزه بسیار مهمی از مطالعات کنونی در محاسبات را پوشش می‌دهد.
این کتاب مقالات داوری دهمین سمپوزیوم بین‌المللی جنبه‌های کاربردی زبانهای اعلامی، PADL 2008 را تشکیل می‌دهد. ، در سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، در ژانویه 2008 برگزار شد.
این سمپوزیوم با POPL 2008، سمپوزیوم اصول زبان های برنامه نویسی همراه شد.
20 مقاله کامل اصلاح شده ارائه شده است. همراه با چکیده 1 سخنرانی دعوت شده به دقت بررسی و از بین 44 مورد ارسالی انتخاب شد.
مقالات به تمام جنبه های جاری برنامه نویسی اعلامی می پردازد و دارای کار اصلی است که بر کاربردهای جدید و تکنیک های پیاده سازی برای همه اشکال مفاهیم اظهاری تأکید دارد.
اینها شامل توابع، روابط، منطق و محدودیت‌ها می‌شوند.
توضیحاتی درمورد کتاب به خارجی
This book, complete with online files and updates, covers a hugely important area of current study in computing.
It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008.
The symposium was colocated with POPL 2008, the Symposium on Principles of Programming Languages.
The 20 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions.
The papers address all current aspects of declarative programming and feature original work emphasizing novel applications and implementation techniques for all forms of declarative concepts.
These include functions, relations, logic, and constraints.
فهرست مطالب
Front Matter....Pages -
Industrial Functional Programming....Pages 1-1
Certified Development Tools Implementation in Objective Caml....Pages 2-17
Automatic Coding Rule Conformance Checking Using Logic Programming....Pages 18-34
Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning....Pages 35-52
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs....Pages 53-67
Flexible, Rule-Based Constraint Model Linearisation....Pages 68-83
The Role of Abduction in Declarative Authorization Policies....Pages 84-99
Unification of Arrays in Spreadsheets with Logic Programming....Pages 100-115
Specialising Simulator Generators for High-Performance Monte-Carlo Methods....Pages 116-132
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers....Pages 133-149
Matchete: Paths through the Pattern Matching Jungle....Pages 150-166
Parser Combinators for Ambiguous Left-Recursive Grammars....Pages 167-181
DCGs + Memoing = Packrat Parsing but Is It Worth It?....Pages 182-196
An Improved Continuation Call-Based Implementation of Tabling....Pages 197-213
Scheduling Light-Weight Parallelism in A rTCoP ....Pages 214-229
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism....Pages 230-247
Hierarchical Master-Worker Skeletons....Pages 248-264
High-Level Multi-threading Programming in Logtalk....Pages 265-281
Switched-On Yampa....Pages 282-298
Model-Based Testing of Thin-Client Web Applications and Navigation Input....Pages 299-315
High-Level Database Programming in Curry....Pages 316-332
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Hardware Software Co-Design of a Multimedia SOC Platform
دانلود کتاب Professional Excel Development The Definitive Guide To Developing Applications Using Microsoft Excel And Vba (Professional
دانلود کتاب Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text
دانلود کتاب Microsoft Expression Blend 4 Step by Step (Step By Step (Microsoft))
دانلود کتاب Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
دانلود کتاب Engineering a Compiler
دانلود کتاب First Look 2007 Microsoft Office System
