دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
دانلود کتاب جنبه های عملی زبانهای اعلامی: نهمین سمپوزیوم بین المللی ، PADL 2007 ، نیس ، فرانسه ، 14-15 ژانویه ، 2007. مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
ویرایش: 1 نویسندگان: John Hughes (auth.), Michael Hanus (eds.) سری: Lecture Notes in Computer Science 4354 : Programming and Software Engineering ISBN (شابک) : 9783540696087, 9783540696117 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 343 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 79,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبانهای اعلامی: نهمین سمپوزیوم بین المللی ، PADL 2007 ، نیس ، فرانسه ، 14-15 ژانویه ، 2007. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبانهای اعلامی: نهمین سمپوزیوم بین المللی ، PADL 2007 ، نیس ، فرانسه ، 14-15 ژانویه ، 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبانهای اعلامی: نهمین سمپوزیوم بین المللی ، PADL 2007 ، نیس ، فرانسه ، 14-15 ژانویه ، 2007. مجموعه مقالات
این کتاب مقالات داوری نهمین سمپوزیوم بینالمللی جنبههای کاربردی زبانهای اعلانی، PADL 2007، در نیس، فرانسه، در ژانویه 2007 برگزار شد، همزمان با POPL 2007، سمپوزیوم اصول زبانهای برنامهنویسی.< /P>
19 مقاله کامل اصلاح شده ارائه شده همراه با دو مقاله دعوت شده به دقت بررسی و از بین 58 مقاله ارسالی انتخاب شدند. تمام جنبههای فعلی برنامهنویسی اعلامی از جمله مسائل اجرایی و برنامههای کاربردی نوآورانه در زمینههایی مانند مدیریت پایگاه داده، مهندسی نرمافزار، منطق عملکردی، سیستمهای پشتیبانی تصمیم، برنامهنویسی محدودیت، بررسی مدل، برنامهنویسی احتمالی، برنامهنویسی جاوا و Prolog پرداخته میشود.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages.
The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming.
فهرست مطالب
Front Matter....Pages -
QuickCheck Testing for Fun and Profit....Pages 1-32
A Constraint Programming Approach to Bioinformatics Structural Problems....Pages 33-49
Rewriting Haskell Strings....Pages 50-64
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning....Pages 65-79
Algebraic Knowledge Discovery Using Haskell....Pages 80-93
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang....Pages 94-108
Automatic Incrementalization of Prolog Based Static Analyses....Pages 109-123
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs....Pages 124-139
Combining Static Analysis and Profiling for Estimating Execution Times....Pages 140-154
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation....Pages 155-169
Compiling Constraint Handling Rules for Efficient Tabled Evaluation....Pages 170-184
Prolog Performance on Larger Datasets....Pages 185-199
BAD, a Declarative Logic-Based Language for Brain Modeling....Pages 200-214
From Zinc to Design Model....Pages 215-229
Inductive Logic Programming by Instance Patterns....Pages 230-244
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement....Pages 245-259
The Joins Concurrency Library....Pages 260-274
HPorter: Using Arrows to Compose Parallel Processes....Pages 275-289
Coupled Schema Transformation and Data Conversion for XML and SQL....Pages 290-304
Aspect-Oriented Programming in Higher-Order and Linear Logic....Pages 305-319
Partial Evaluation of Pointcuts....Pages 320-334
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Islam and Secular Citizenship in the Netherlands, United Kingdom, and France
دانلود کتاب Metrology for 5G and Emerging Wireless Technologies (Telecommunications)
دانلود کتاب Oral and Maxillofacial Trauma
دانلود کتاب Picturing the Language of Images
