مشخصات کتاب

Introduction to the theory of programming languages

ویرایش: 2011 
نویسندگان: Lévy. Jean-Jacques,  Dowek. Gilles  
سری: Undergraduate topics in computer science 
ISBN (شابک) : 9780857290755, 0857290754 
ناشر: Springer 
سال نشر: 2011 
تعداد صفحات: 102 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

کلمات کلیدی مربوط به کتاب مقدمه ای بر تئوری زبان های برنامه نویسی: زبان های برنامه نویسی (رایانه های الکترونیکی)، زبان های برنامه نویسی (کامپیوترهای الکترونیکی) -- معناشناسی.، زبان های برنامه نویسی (کامپیوترهای الکترونیکی) -- معناشناسی

در صورت تبدیل فایل کتاب Introduction to the theory of programming languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر تئوری زبان های برنامه نویسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مقدمه ای بر تئوری زبان های برنامه نویسی

طراحی و پیاده سازی زبان های برنامه نویسی، از فرترن و کوبول گرفته تا Caml و جاوا، یکی از پیشرفت های کلیدی در مدیریت سیستم های کامپیوتری پیچیده تر بوده است. مقدمه‌ای بر تئوری زبان‌های برنامه‌نویسی به خواننده این امکان را می‌دهد تا ابزارهای تفکر، طراحی و پیاده‌سازی این زبان‌ها را کشف کند. این دیدگاه یکپارچه از فرمالیسم های مختلف ارائه می دهد که اجازه تعریف یک زبان برنامه نویسی را می دهد: معنایی عملیاتی گام های کوچک، معنایی عملیاتی گام های بزرگ، و معنایی معنایی، با تاکید بر این که همه به دنبال تعریف رابطه بین سه شی هستند: یک برنامه، یک مقدار ورودی، و یک مقدار خروجی این فرمالیسم‌ها با ارائه معنایی برخی از ویژگی‌های معمول زبان‌های برنامه‌نویسی: توابع، بازگشت‌پذیری، تکالیف، رکوردها، اشیاء و ... نشان داده می‌شوند که نشان می‌دهد مطالعه زبان‌های برنامه‌نویسی شامل مطالعه زبان‌ها یکی پس از دیگری نیست، بلکه حول محور سازمان‌دهی شده است. ویژگی هایی که در این زبان های مختلف وجود دارد. مطالعه این ویژگی‌ها منجر به توسعه ارزیابان، مفسرها و کامپایلرها و همچنین الگوریتم‌های استنتاج تایپ برای زبان‌های کوچک می‌شود.

توضیحاتی درمورد کتاب به خارجی

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages. It proposes a unified vision of the different formalisms that permit definition of a programming language: small steps operational semantics, big steps operational semantics, and denotational semantics, emphasising that all seek to define a relation between three objects: a program, an input value, and an output value. These formalisms are illustrated by presenting the semantics of some typical features of programming languages: functions, recursivity, assignments, records, objects, ... showing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages. The study of these features leads to the development of evaluators, interpreters and compilers, and also type inference algorithms, for small languages

فهرست مطالب

Front Matter....Pages I-XI
Terms and Relations....Pages 1-13
The Language PCF....Pages 15-31
From Evaluation to Interpretation....Pages 33-42
Compilation....Pages 43-50
PCF with Types....Pages 51-62
Type Inference....Pages 63-71
References and Assignment....Pages 73-80
Records and Objects....Pages 81-88
Epilogue....Pages 89-91
Back Matter....Pages 93-96

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Vietnam: Las Batallas Decisivas

دانلود کتاب React: современные шаблоны для разработки приложений 2-е издание

دانلود کتاب Society and Discourse: How Social Contexts Influence Text and Talk

دانلود کتاب Harvard Business Review USA - January - February 2014

دانلود کتاب Lonely Planet Pocket Edinburgh 7 (Pocket Guide)