توضیحات
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
————————————————————–
ترجمه ماشینی :
این متن یک نظریه جامع از زبان های برنامه نویسی را بر اساس سیستم های نوع و معناشناسی عملیاتی ساختاری توسعه می دهد. مفاهیم زبان دقیقاً با معناشناسی ایستا و پویا تعریف می شوند و ابزارهای ضروری را هم به صورت شهودی و هم دقیق و در حالی که تنها بر ریاضیات ابتدایی تکیه می کنند، ارائه می دهند. این ابزارها برای تجزیه و تحلیل و اثبات ویژگی های زبان ها و ارائه چارچوبی برای ترکیب و مقایسه ویژگی های زبان استفاده می شوند. طیف وسیعی از مفاهیم شامل انواع داده های اساسی مانند مجموع و محصولات، انواع چند شکلی و انتزاعی، تایپ پویا، ارسال پویا، انواع فرعی و پالایش، نمادها و طبقه بندی پویا، موازی و معناشناسی هزینه، و همزمانی و توزیع است. این روشها مستقیماً برای پیادهسازی زبان، توسعه منطق برای استدلال در مورد برنامهها، و ویژگیهای زبان تأیید رسمی مانند ایمنی نوع کاربرد دارند. این ویرایش دوم کاملاً اصلاح شده شامل تمرینهایی در پایان تقریباً هر فصل و فصل جدیدی در اصلاح نوع است.
tag : دانلود کتاب مبانی عملی برای زبان های برنامه نویسی , Download مبانی عملی برای زبان های برنامه نویسی , دانلود مبانی عملی برای زبان های برنامه نویسی , Download Practical foundations for programming languages Book , مبانی عملی برای زبان های برنامه نویسی دانلود , buy مبانی عملی برای زبان های برنامه نویسی , خرید کتاب مبانی عملی برای زبان های برنامه نویسی , دانلود کتاب Practical foundations for programming languages , کتاب Practical foundations for programming languages , دانلود Practical foundations for programming languages , خرید Practical foundations for programming languages , خرید کتاب Practical foundations for programming languages ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.