عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
147573851X
شابک
9781475738513
شماره کتابشناسی ملی
شماره
b556559
عنوان و نام پديدآور
عنوان اصلي
Algol-like Languages
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Peter W. O'Hearn, Robert D. Tennent.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston, MA
نام ناشر، پخش کننده و غيره
Birkhäuser Boston : Imprint : Birkhäuser
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
(vii, 349 pages)
فروست
عنوان فروست
Progress in theoretical computer science.
یادداشتهای مربوط به مندرجات
متن يادداشت
11 Functor Categories and Store Shapes --;12 Using Functor Categories to Generate Intermediate Code --;13 Semantical Analysis of Specification Logic --;14 Semantical Analysis of Specification Logic, 2 --;15 Full Abstraction for the Second-Order Subset --;16 Parametricity and Local Variables --;17 Operationally-Based Reasoning About Local Variables --;18 Syntactic Control of Interference Revisited --;19 Global State Considered Unnecessary --;20 Linearity, Sharing and State --;21 The Essence of Parallel Algol --;of Volume 1.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Mathematics.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Peter W. O'Hearn, Robert D. Tennent.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Peter W O'Hearn
مستند نام اشخاص تاييد نشده
Robert D Tennent
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
