دانلود کتاب Programming Language Foundations
دسته: کامپیوتر
کتاب مبانی زبان برنامه نویسی نسخه زبان اصلی
دانلود کتاب مبانی زبان برنامه نویسی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Programming Language Foundations
نام کتاب : Programming Language Foundations
ویرایش : 1st
عنوان ترجمه شده به فارسی : مبانی زبان برنامه نویسی
سری :
نویسندگان : Aaron Stump
ناشر : Wiley
سال نشر : 2013
تعداد صفحات : 338
ISBN (شابک) : 9781118007471
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 17 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مبانی زبان برنامه نویسی Stump یک متن مختصر مختصر است که معناشناسی را پوشش می دهد ، به همان اندازه وزن معانی عملیاتی و دلالت برای چندین الگوی مختلف برنامه نویسی: ضروری ، همزمان و کاربردی. سیستم های نوع برنامه نویسی عملکردی و پوشش موضوعات نوظهور و جهت های تحقیق مدرن.
فهرست مطالب :
Cover......Page 1
Contents......Page 5
Preface......Page 13
Part I: Central Topics......Page 19
Chapter 1: Semantics of First-Order Arithmetic......Page 21
Chapter 2: Denotational Semantics of While......Page 45
Chapter 3: Axiomatic Semantics of While......Page 77
Chapter 4: Operational Semantics of While......Page 107
Chapter 5: Untyped Lambda Calculus......Page 137
Chapter 6: Programming in Untyped Lambda Calculus......Page 161
Chapter 7: Simple Type Theory......Page 179
Part II: Extra Topics......Page 217
Chapter 8: Nondeterminism and Concurrency......Page 219
Chapter 9: More on Untyped Lambda Calculus......Page 243
Chapter 10: Polymorphic Type Theory......Page 281
Chapter 11: Functional Programming......Page 297
Mathematical Background......Page 327
References......Page 333
Index......Page 336
توضیحاتی در مورد کتاب به زبان اصلی :
Stump’s Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional.
Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics extensions to concurrent and non-deterministic versions operational semantics for untyped lambda calculus functional programming type systems and coverage of emerging topics and modern research directions.
پست ها تصادفی