مشخصات کتاب

Domain-theoretic Foundations of Functional Programming

ویرایش:  
نویسندگان: Thomas Streicher  
سری:  
ISBN (شابک) : 9812701427, 9789812701428 
ناشر: World Scientific Pub Co Inc 
سال نشر: 2006 
تعداد صفحات: 132 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

در صورت تبدیل فایل کتاب Domain-theoretic Foundations of Functional Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی نظری دامنه برنامه نویسی تابعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مبانی نظری دامنه برنامه نویسی تابعی

این کتاب درسی پایه ای برای دوره دکتری در زمینه معناشناسی نظری دامنه زبان های برنامه نویسی تابعی و ویژگی های فرا ریاضی آنها ارائه می دهد. این نظریه پایه دامنه و تکنیک روابط منطقی را که توسط اسکات و پلاتکین توسعه داده شده است، معرفی می کند. حل معادلات دامنه بازگشتی به تفصیل توضیح داده شده است. یک بحث کامل از مسئله معروف انتزاع کامل برای PCF (یک زبان هسته عملکردی به دلیل اسکات و پلوتکین) شامل ساخت مدل کاملاً انتزاعی میلنر با استفاده از روابط منطقی کریپکی ارائه شده است. فصل آخر محاسبه‌پذیری را در حوزه‌های اسکات معرفی می‌کند و نشان می‌دهد که این مدل کاملاً انتزاعی و جهانی برای پسوندهای مناسب PCF توسط ساختارهای زبان موازی است.

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

This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail. A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations. A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs.

فهرست مطالب

Contents\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 8
Preface\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 10
1. Introduction\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 12
2. PCF and its Operational Semantics\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 24
3. The Scott Model of PCF\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 34
3.1 Basic Domain Theory\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 36
3.2 Domain Model of PCF\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 43
3.3 LCF - A Logic of Computable Functionals\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 45
4. Computational Adequacy\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 48
5. Milner\'s Context Lemma\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 54
6. The Full Abstraction Problem\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 56
7. Logical Relations\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 62
8. Some Structural Properties of the Dσ......Page 68
9. Solutions of Recursive Domain Equations\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 76
10. Characterisation of Fully Abstract Models\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 88
11. Sequential Domains as a Model of PCF\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 98
12. The Model of PCF in S is Fully Abstract\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 106
13. Computability in Domains\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 110
Bibliography\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 128
Index\0\0\0\0\0\0\0\0\0\0\0\0......Page 130

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

کتاب های تصادفی

دانلود کتاب 差异与重复 (Différence et répétition)

دانلود کتاب Volume 3 Equity Portfolio Management

دانلود کتاب The 1956 Hungarian Revolution: A History in Documents

دانلود کتاب Micro Irrigation Scheduling and Practices

دانلود کتاب La tristesse durera toujours