دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings
دانلود کتاب جنبه های عملی زبان های اعلانی: دومین کارگاه بین المللی، PADL 2000 بوستون، MA، ایالات متحده آمریکا، 17-18 ژانویه، 2000 مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings
ویرایش: 1 نویسندگان: Mark Tullsen (auth.), Enrico Pontelli, Vítor Santos Costa (eds.) سری: Lecture Notes in Computer Science 1753 ISBN (شابک) : 9783540669920, 9783540465843 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 336 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلانی: دومین کارگاه بین المللی، PADL 2000 بوستون، MA، ایالات متحده آمریکا، 17-18 ژانویه، 2000 مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلانی: دومین کارگاه بین المللی، PADL 2000 بوستون، MA، ایالات متحده آمریکا، 17-18 ژانویه، 2000 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلانی: دومین کارگاه بین المللی، PADL 2000 بوستون، MA، ایالات متحده آمریکا، 17-18 ژانویه، 2000 مجموعه مقالات
این کتاب مجموعه مقالات داوری دومین کارگاه بین المللی جنبه های
عملی زبان های اعلانی، PADL 2000 است که در بوستون، MA، ایالات
متحده آمریکا در ژانویه 2000 برگزار شد.
21 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از مجموع
مقالات انتخاب شدند. 36 ارسال. این مقالات در بخش‌های موضوعی
برنامه‌نویسی تابعی، برنامه‌نویسی منطقی تابعی، برنامه‌نویسی
منطقی، برنامه‌های کاربردی نوآورانه، برنامه‌نویسی محدودیت و حل
محدودیت، و کاربردهای سیستمی سازماندهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second
International Workshop on Practical Aspects of Declarative
Languages, PADL 2000, held in Boston, MA, USA in January
2000.
The 21 revised full papers presented were carefully reviewed
and selected from a total of 36 submissions. The papers are
organized in topical sections on functional programming,
functional-logic programming, logic programming, innovative
applications, constraint programming and constraint solving,
and systems applications.
فهرست مطالب
First Class Patterns?....Pages 1-15
Parallel Functional Reactive Programming....Pages 16-31
Out-of-Core Functional Programming with Type-Based Primitives....Pages 32-46
A Functional Logic Programming Approach to Graphical User Interfaces....Pages 47-62
Using Static Analysis to Compile Non-sequential Functional Logic Programs?....Pages 63-80
GNU Prolog: Beyond Compiling Prolog to C....Pages 81-92
Heap Garbage Collection in XSB: Practice and Experience....Pages 93-108
Implementation of a Linear Tabling Mechanism....Pages 109-123
How to Incorporate Negation in a Prolog Compiler?....Pages 124-140
A Logic-Based Information System....Pages 141-153
HIPPO — A Declarative Graphical Modelling System....Pages 154-168
Calculating a New Data Mining Algorithm for....Pages 169-184
A Toolkit for Constraint-Based Inference Engines....Pages 185-199
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving....Pages 200-214
Programming Deep Concurrent Constraint Combinators....Pages 215-229
Labeling and Partial Local Consistency for Soft Constraint Programming....Pages 230-248
Transformation-by-Example for XML....Pages 249-262
Modeling HTML in Haskell....Pages 263-277
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database....Pages 278-292
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems....Pages 293-307
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs....Pages 308-323
Current Trends in Logic Programming: Prospects and Promises (Abstract)....Pages 324-324
Production-Quality Proof-Carrying Code (Abstract)....Pages 325-325
