دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types in logic programming
دانلود کتاب انواع در برنامه نویسی منطقی
مشخصات کتاب
Types in logic programming
ویرایش:
نویسندگان: Pfenning F. (ed.)
سری:
ISBN (شابک) : 9780262161312
ناشر: MIT
سال نشر: 1992
تعداد صفحات: 382
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Types in logic programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع در برنامه نویسی منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انواع در برنامه نویسی منطقی
این مجموعه از مقالات تحقیقاتی اصلی تاثیر انواع بر برنامه ریزی منطقی را ارزیابی و خلاصه می کند. تئوری نوع شاخه ای از علم کامپیوتر نظری است که نقش مهمی در توسعه زبان های برنامه نویسی امری و کاربردی ایفا کرده است. این مجموعه از مقالات تحقیقاتی اصلی تاثیر انواع بر برنامه ریزی منطقی را ارزیابی و خلاصه می کند. همه موضوعات اصلی در این زمینه رو به رشد، از جمله انواع ساده، انواع درختان معمولی، انواع چندشکلی، انواع فرعی و انواع وابسته را پوشش می دهد. مسائل طراحی زبان و همچنین معناشناسی، عمل شناسی، و کاربردهای انواع مورد بحث قرار می گیرد. مزایایی که ملاحظات نوع برای ارائه برنامه نویسی منطقی دارد به طور فزاینده ای در حال تحقق است: از طریق بررسی نوع می توان بسیاری از خطاها را قبل از اجرای برنامه کشف کرد و در نتیجه قابل اطمینان تر شد. برنامه ها؛ انواع پایه‌ای بیانگر برای سیستم‌های ماژول را تشکیل می‌دهند، زیرا آنها یک رابط قابل تأیید توسط ماشین را برای کد محصور شده در یک ماژول تجویز می‌کنند. و انواع ممکن است برای بهبود عملکرد کد تولید شده توسط یک کامپایلر استفاده شود. تحقیقات این مجموعه به تشریح این مزایا و همچنین تفاوت های مهم در تأثیر انواع در برنامه ریزی تابعی و منطقی می پردازد.
توضیحاتی درمورد کتاب به خارجی
This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this collection describes these benefits as well as important differences in the impact of types in functional and logic programming.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Alternative careers in secret operations: your guide to a new identity, new life, new career
دانلود کتاب Chemistry Fundamentals Handbook
دانلود کتاب Radio frequency integrated circuit design
دانلود کتاب Major Principles of Media Law
