ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

دانلود کتاب برنامه نویسی کاربردی و منطقی: پنجمین سمپوزیوم بین المللی ، FLOPS 2001 توکیو ، ژاپن ، 7 تا 9 مارس 2001 مجموعه مقالات

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

مشخصات کتاب

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 2024 
ISBN (شابک) : 3540417397, 9783540417392 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2001 
تعداد صفحات: 399 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی کاربردی و منطقی: پنجمین سمپوزیوم بین المللی ، FLOPS 2001 توکیو ، ژاپن ، 7 تا 9 مارس 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه نویسی کاربردی و منطقی: پنجمین سمپوزیوم بین المللی ، FLOPS 2001 توکیو ، ژاپن ، 7 تا 9 مارس 2001 مجموعه مقالات

این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بین‌المللی برنامه‌نویسی عملکردی و منطقی، FLOPS 2001 است که در مارس 2001 در توکیو، ژاپن برگزار شد.
21 مقاله کامل اصلاح‌شده ارائه شده همراه با سه مقاله دعوت‌شده با دقت بررسی و از بین 40 مقاله انتخاب شدند. ارسالی ها این کتاب بخش‌های موضوعی در برنامه‌نویسی تابعی، برنامه‌نویسی منطقی، برنامه‌نویسی منطق تابعی، انواع، تحلیل و تبدیل برنامه، و حساب لامبدا را ارائه می‌دهد.


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

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001.
The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.



فهرست مطالب

The Metalanguage λprolog and Its Implementation....Pages 1-20
A Scalable Architecture for Proof-Carrying Code....Pages 21-39
Parameterized Logic Programs where Computing Meets Learning....Pages 40-60
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework....Pages 61-77
A Higher-Order Colon Translation....Pages 78-91
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine....Pages 92-107
A Higher-Order Logic Programming Language with Constraints....Pages 108-122
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λProlog ‐ A Case-study ‐....Pages 123-137
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs....Pages 138-152
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs....Pages 153-169
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs....Pages 170-184
Adding Linear Constraints over Real Numbers to Curry....Pages 185-200
A Complete Selection Function for Lazy Conditional Narrowing....Pages 201-215
An Abstract Machine Based System for a Lazy Narrowing Calculus....Pages 216-232
Incremental Learning of Functional Logic Programs....Pages 233-247
A General Type Inference Framework for Hindley/Milner Style Systems....Pages 248-263
Monadic Encapsulation with Stack of Regions....Pages 264-279
Well-Typed Logic Programs Are not Wrong....Pages 280-295
A Framework for Analysis of Typed Logic Programs....Pages 296-310
Abstract Compilation for Sharing Analysis....Pages 311-325
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language....Pages 326-342
A Simple Take on Typed Abstract Syntax in Haskell-like Languages....Pages 343-358
A simply typed context calculus with first-class environments....Pages 359-374
Refining the Barendregt Cube using Parameters....Pages 375-389




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

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