توضیحات
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.
————————————————————–
ترجمه ماشینی :
طراحی و پیاده سازی زبان های برنامه نویسی، از Fortran و Cobol گرفته تا Caml و Java، یکی از پیشرفت های کلیدی در مدیریت سیستم های کامپیوتری پیچیده تر بوده است. مقدمهای بر تئوری زبانهای برنامهنویسی به خواننده این امکان را میدهد تا ابزارهای تفکر، طراحی و پیادهسازی این زبانها را کشف کند. این دیدگاه یکپارچه از فرمالیسم های مختلف که اجازه تعریف یک زبان برنامه نویسی را می دهد پیشنهاد می کند: معنایی عملیاتی گام های کوچک، معنایی عملیاتی گام های بزرگ، و معنایی معنایی، با تاکید بر این که همه به دنبال تعریف رابطه بین سه شی هستند: یک برنامه، یک مقدار ورودی، و یک مقدار خروجی این فرمالیسم ها با ارائه معنایی برخی از ویژگی های معمول زبان های برنامه نویسی: توابع، بازگشتی، تکالیف، رکوردها، اشیاء و … نشان داده شده اند و نشان می دهد که مطالعه زبان های برنامه نویسی شامل مطالعه زبان های یکی پس از دیگری نیست، بلکه حول محور سازماندهی شده است. ویژگی هایی که در این زبان های مختلف وجود دارد. مطالعه این ویژگیها منجر به توسعه ارزیابها، مفسرها و کامپایلرها و همچنین الگوریتمهای استنتاج تایپ برای زبانهای کوچک میشود.
tag : دانلود کتاب مقدمه ای بر تئوری زبان های برنامه نویسی , Download مقدمه ای بر تئوری زبان های برنامه نویسی , دانلود مقدمه ای بر تئوری زبان های برنامه نویسی , Download Introduction to the Theory of Programming Languages Book , مقدمه ای بر تئوری زبان های برنامه نویسی دانلود , buy مقدمه ای بر تئوری زبان های برنامه نویسی , خرید کتاب مقدمه ای بر تئوری زبان های برنامه نویسی , دانلود کتاب Introduction to the Theory of Programming Languages , کتاب Introduction to the Theory of Programming Languages , دانلود Introduction to the Theory of Programming Languages , خرید Introduction to the Theory of Programming Languages , خرید کتاب Introduction to the Theory of Programming Languages ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.