توضیحات
This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding.
Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects.
This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.
————————————————————–
ترجمه ماشینی :
این کتاب، اولین جلد از دو جلد، ساختارهای نحوی رایجترین زبانهای برنامهنویسی را بررسی میکند، و یک نور ریاضی بر معنایی آنها میتابد، در حالی که نمایش دقیقی از جنبههای مادی که با کدنویسی تداخل دارند، ارائه میدهد.
مفاهیم و معناشناسی زبان های برنامه نویسی 1 به ویژگی های کاربردی و ضروری اختصاص دارد. شامل مطالعه رسمی معناشناسی تایپ و اجرا است. به دست آوردن آنها با پیاده سازی در OCaml و Python و همچنین با نمونه های کار شده تسهیل می شود. نمایش داده ها با جزئیات در نظر گرفته می شود: endianness، اشاره گرها، مدیریت حافظه، انواع اتحاد و تطبیق الگو، و غیره، با مثال هایی در OCaml، C و C++. جلد دوم یک مدل خاص برای مطالعه ویژگی های ماژولار و شی معرفی می کند و از این مدل برای ارائه ماژول های Ada و OCaml و متعاقبا کلاس ها و اشیاء جاوا، C++، OCaml و پایتون استفاده می کند.
این کتاب نه تنها برای دانشجویان و معلمان علوم کامپیوتر، بلکه برای برنامه نویسان باتجربه نیز در نظر گرفته شده است، که راهنمای خواندن کتابچه راهنمای مرجع و مبانی تأیید برنامه را پیدا می کنند.
tag : دانلود کتاب مفاهیم و معناشناسی زبان های برنامه نویسی 1: رویکرد معنایی با OCaml و Python , Download مفاهیم و معناشناسی زبان های برنامه نویسی 1: رویکرد معنایی با OCaml و Python , دانلود مفاهیم و معناشناسی زبان های برنامه نویسی 1: رویکرد معنایی با OCaml و Python , Download Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python Book , مفاهیم و معناشناسی زبان های برنامه نویسی 1: رویکرد معنایی با OCaml و Python دانلود , buy مفاهیم و معناشناسی زبان های برنامه نویسی 1: رویکرد معنایی با OCaml و Python , خرید کتاب مفاهیم و معناشناسی زبان های برنامه نویسی 1: رویکرد معنایی با OCaml و Python , دانلود کتاب Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python , کتاب Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python , دانلود Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python , خرید Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python , خرید کتاب Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.