ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Principles and Practice of Declarative Programming: International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings

دانلود کتاب اصول و عملکرد برنامه نویسی اعلانی: کنفرانس بین المللی ، PPDP99 ، پاریس ، فرانسه ، سپتامبر ، 29 سپتامبر - 1 اکتبر 1999. مجموعه مقالات

Principles and Practice of Declarative Programming: International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings

مشخصات کتاب

Principles and Practice of Declarative Programming: International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 1702 
ISBN (شابک) : 3540665404, 9783540665403 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 443 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 40,000



کلمات کلیدی مربوط به کتاب اصول و عملکرد برنامه نویسی اعلانی: کنفرانس بین المللی ، PPDP99 ، پاریس ، فرانسه ، سپتامبر ، 29 سپتامبر - 1 اکتبر 1999. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، تکنیک های برنامه نویسی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Principles and Practice of Declarative Programming: International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اصول و عملکرد برنامه نویسی اعلانی: کنفرانس بین المللی ، PPDP99 ، پاریس ، فرانسه ، سپتامبر ، 29 سپتامبر - 1 اکتبر 1999. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب اصول و عملکرد برنامه نویسی اعلانی: کنفرانس بین المللی ، PPDP99 ، پاریس ، فرانسه ، سپتامبر ، 29 سپتامبر - 1 اکتبر 1999. مجموعه مقالات

این کتاب مجموعه مقالات داوری کنفرانس بین‌المللی اصول و تمرین برنامه‌نویسی اعلامی، PPDP'99، که در پاریس، فرانسه، در سپتامبر/اکتبر 1999 برگزار شد، تشکیل می‌شود.
22 مقاله کامل اصلاح‌شده ارائه‌شده همراه با سه مشارکت دعوت‌شده با دقت ارائه شد. بررسی و انتخاب از مجموع 52 مقاله کامل ارسال شده. از جمله موضوعات تحت پوشش نظریه نوع است. منطق و روش های منطقی در درک، تعریف، ادغام و گسترش پارادایم های برنامه نویسی مانند برنامه نویسی تابعی، منطقی، شی گرا، محدودیت و همزمان. پشتیبانی از ماژولار بودن؛ استفاده از منطق در طراحی ابزارهای توسعه برنامه؛ و روش های توسعه و اجرا.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP'99, held in Paris, France, in September/October 1999.
The 22 revised full papers presented together with three invited contributions were carefully reviewed and selected from a total of 52 full-length papers submitted. Among the topics covered are type theory; logics and logical methods in understanding, defining, integrating, and extending programming paradigms such as functional, logic, object-oriented, constraint, and concurrent programming; support for modularity; the use of logics in the design of program development tools; and development and implementation methods.



فهرست مطالب

Front Matter....Pages -
 C-— : A Portable Assembly Language that Supports Garbage Collection....Pages 1-28
On Formalised Proofs of Termination of Recursive Functions....Pages 29-46
Argument Filtering Transformation....Pages 47-61
A Primitive Calculus for Module Systems....Pages 62-79
Non-dependent Types for Standard ML Modules....Pages 80-97
Constraint Programming in OPL....Pages 98-116
Compiling Constraint Handling Rules into Prolog with Attributed Variables....Pages 117-133
Parallel Execution Models for Constraint Programming over Finite Domains....Pages 134-151
Functional Plus Logic Programming with Built-In and Symbolic Constraints....Pages 152-169
A Calculus for Interaction Nets....Pages 170-187
Distributed Programming in a Multi-Paradigm Declarative Language....Pages 188-205
Logical and Meta-Logical Frameworks....Pages 206-206
A Simple and General Method for Integrating Abstract Interpretation in SICStus....Pages 207-223
Run Time Type Information in Mercury....Pages 224-243
A Virtual Machine for a Process Calculus....Pages 244-260
Optimising Bytecode Emulation for Prolog....Pages 261-277
OPENLOG: A Logic Programming Language Based on Abduction....Pages 278-293
An Operational Semantics of Starlog....Pages 294-310
On the Verification of Finite Failure....Pages 311-327
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices....Pages 328-341
Modular Termination Proofs for Prolog with Tabling....Pages 342-359
Declarative Program Transformation: A Deforestation Case-Study....Pages 360-377
A Semantic Account of Type-Directed Partial Evaluation....Pages 378-395
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs....Pages 396-413
Widening Sharing....Pages 414-431
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی