دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Call-By-Push-Value: A Functional/Imperative Synthesis
دانلود کتاب Call-by-Push-Value: یک ترکیب عملکردی/اجباری
مشخصات کتاب
Call-By-Push-Value: A Functional/Imperative Synthesis
ویرایش: 1
نویسندگان: Paul Blain Levy (auth.)
سری: Semantic Structures in Computation 2
ISBN (شابک) : 9789401037525, 9789400709546
ناشر: Springer Netherlands
سال نشر: 2003
تعداد صفحات: 380
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب Call-by-Push-Value: یک ترکیب عملکردی/اجباری: زبانهای برنامه نویسی، کامپایلرها، مترجمان، ریاضیات محاسبات، نظریه مقوله، جبر همسانی
در صورت تبدیل فایل کتاب Call-By-Push-Value: A Functional/Imperative Synthesis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Call-by-Push-Value: یک ترکیب عملکردی/اجباری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Call-by-Push-Value: یک ترکیب عملکردی/اجباری
Call-by-push-value یک پارادایم زبان برنامه نویسی است که در
کمال تعجب، پارادایم های call-by-value و call-by-name را به
نمونه های اولیه ساده تجزیه می کند. این مونوگراف که برای
دانشجویان فارغ التحصیل و محققان نوشته شده است، ساختار
فراخوانی ارزشی را که در زیربنای طیف قابل توجهی از معناشناسی،
از جمله معناشناسی عملیاتی، حوزه‌ها، جهان‌های ممکن، ادامه‌ها و
بازی‌ها قرار دارد، نشان می‌دهد.
توضیحاتی درمورد کتاب به خارجی
Call-by-push-value is a programming language paradigm that,
surprisingly, breaks down the call-by-value and call-by-name
paradigms into simple primitives. This monograph, written for
graduate students and researchers, exposes the
call-by-push-value structure underlying a remarkable range of
semantics, including operational semantics, domains, possible
worlds, continuations and games.
فهرست مطالب
Front Matter....Pages i-xli
Front Matter....Pages 1-1
Call-By-Value and Call-By-Name....Pages 3-26
Call-By-Push-Value: A Subsuming Paradigm....Pages 27-47
Complex Values and Equational Theory....Pages 49-63
Recursion and Infinitely Deep CBPV....Pages 65-86
Front Matter....Pages 87-87
Simple Models of CBPV....Pages 89-116
Possible World Model for Cell Generation....Pages 117-140
Jump-With-Argument....Pages 141-168
Pointer Games....Pages 169-203
Front Matter....Pages 205-205
Semantics In Element Style....Pages 207-248
All Models are Categorical Models....Pages 249-260
Representing Objects....Pages 261-290
Front Matter....Pages 291-291
Conclusions, Comparisons and Further Work....Pages 293-297
Back Matter....Pages 299-352
