عنوان
پدید آورنده
موضوع
رده
QA76.7 B973 2003
QA76
.
7
B973
2003
کتابخانه
محل استقرار
شابک
شابک
9400709544
شابک
9789400709546
شماره کتابشناسی ملی
شماره
b546081
عنوان و نام پديدآور
عنوان اصلي
Call-By-Push-Value :
نام عام مواد
[Book]
ساير اطلاعات عنواني
a Functional/Imperative Synthesis
نام نخستين پديدآور
by Paul Blain Levy.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer Netherlands
تاریخ نشرو بخش و غیره
2003
مشخصات ظاهری
نام خاص و کميت اثر
(xli, 352 pages)
فروست
عنوان فروست
Semantic structures in computation, 2.
یادداشتهای مربوط به مندرجات
متن يادداشت
From the Contents: List of Figures. Preface. Acknowledgements. Introduction --;Part I: Language --;Part II: Concrete Semantics --;Part III: Categorical Semantics --;Part IV: Conclusions. Appendices.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algebra.
موضوع مستند نشده
Computer science.
رده بندی کنگره
شماره رده
QA76
.
7
نشانه اثر
B973
2003
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Paul Blain Levy.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Paul Blain Levy
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
