دانلود کتاب Call-By-Push-Value: A Functional/Imperative Synthesis
کتاب Call-by-Push-Value: یک ترکیب عملکردی/اجباری نسخه زبان اصلی
دانلود کتاب Call-by-Push-Value: یک ترکیب عملکردی/اجباری بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Call-By-Push-Value: A Functional/Imperative Synthesis
نام کتاب : Call-By-Push-Value: A Functional/Imperative Synthesis
ویرایش : 1
عنوان ترجمه شده به فارسی : Call-by-Push-Value: یک ترکیب عملکردی/اجباری
سری : Semantic Structures in Computation 2
نویسندگان : Paul Blain Levy (auth.)
ناشر : Springer Netherlands
سال نشر : 2003
تعداد صفحات : 380
ISBN (شابک) : 9789401037525 , 9789400709546
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 11 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
Call-by-push-value یک پارادایم زبان برنامه نویسی است که در کمال تعجب، پارادایم های call-by-value و call-by-name را به نمونه های اولیه ساده تقسیم می کند. این مونوگراف که برای دانشجویان فارغ التحصیل و محققین نوشته شده است، ساختار فراخوانی ارزشی را که زیربنای طیف قابل توجهی از معناشناسی، از جمله معناشناسی عملیاتی، حوزه ها، جهان های ممکن، ادامه ها و بازی ها است، نشان می دهد.
فهرست مطالب :
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
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی