دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Control flow semantics
دانلود کتاب معناشناسی جریان کنترل
مشخصات کتاب
Control flow semantics
ویرایش: نویسندگان: J W de Bakker, Erik de Vink سری: Foundations of computing ISBN (شابک) : 0262041545, 9780262041546 ناشر: The MIT Press سال نشر: 1996 تعداد صفحات: 588 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 67,000
در صورت تبدیل فایل کتاب Control flow semantics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی جریان کنترل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی جریان کنترل
معناشناسی جریان کنترل یک درمان رسمی و یکپارچه از معنای
طیف گسترده ای از مفاهیم جریان کنترل را که در زبان های برنامه
نویسی متوالی، همزمان، منطقی، شی گرا و تابعی یافت می شود، ارائه
می دهد. در حالی که در رویکردهای سنتی تر، فرد بر رفتار
ورودی/خروجی تمرکز می کند، در این کار توجه یکسانی به محاسبات
متناهی و نامتناهی معطوف شده است، که مورد دوم به دلیل اهمیت
روزافزون سیستم های واکنشی است.
دانش معناشناسی مقایسه ای ساختارهای کنترلی برای طراحان زبان های
برنامه نویسی حیاتی است، و انتخاب از میان انواع گیج کننده مفاهیم
جریان کنترل امروزی دشوار است (روش هایی که یک برنامه مراحل
متوالی را که در طول اجرا باید برداشته شود) مشخص می کند.
دایرهالمعارفی در حوزه، معناشناسی جریان کنترل پوشش جامعی
از این مفاهیم ارائه میکند و مدلهای عملیاتی و معنایی را برای
جریان کنترل در 27 زبان توسعه میدهد. در همه موارد، گزارههای
دقیقی در رابطه با این مدلها ارائه میشود.
مجموعهای غنی از تکنیکهای تعریف معنایی، شامل سیستمهای انتقال
(برچسبگذاریشده)، تعاریف مرتبه بالاتر، از سرگیریها و
ادامهها، خطی یا دنبالهای ارائه شده است. مدل های مبتنی بر، و
مدل های مشخص شده توسط معادلات دامنه. علاوه بر این، هر دو زبان
مبتنی بر نماد یا شماتیک - رایج در مطالعه همزمانی - و زبان های
مبتنی بر حالت یا تفسیر در نظر گرفته می شوند. این کتاب بر اساس
یک پایه ریاضی یکپارچه سازههای متریک است که امکان مدلسازی کامل
رفتار نامتناهی و همچنین بهرهبرداری از برخی نتایج کلاسیک مانند
قضیه نقطه ثابت Banach را فراهم میکند. دیدگاههایی در مورد
موضوعات بعدی، مانند انتزاع کامل، معناشناسی غیر درهمپیچ برای
موازیسازی، و برنامهنویسی مرتبه دوم نیز گنجانده شده است.
مبانی سریهای محاسباتی
توضیحاتی درمورد کتاب به خارجی
Control Flow Semantics presents a unified, formal
treatment of the semantics of a wide spectrum of control flow
notions as found in sequential, concurrent, logic,
object-oriented, and functional programming languages. Whereas
in more traditional approaches one focuses on input/output
behavior, in this work equal attention is devoted to finite and
infinite computations, the latter motivated by the growing
importance of reactive systems.
Knowledge of the comparative semantics of control structures is
critical for the designers of programming languages, and it is
difficult to choose from today's bewildering variety of control
flow concepts (the ways in which a program specifies the
successive steps to be taken during execution). Encyclopedic in
scope, Control Flow Semantics provides comprehensive
coverage of these concepts, developing operational and
denotational models for control flow in 27 languages. In all
cases, precise statements are given relating these
models.
A rich body of semantic definitional techniques is presented,
including (labeled) transition systems, higher-order
definitions, resumptions and continuations, linear or
sequence-based models, and models specified by domain
equations. Moreover, both symbol-based or schematic
languages—prevalent in the study of concurrency—and state-based
or interpreted languages are considered. The book is founded on
a unifying mathematical basis of metric structures, allowing
the full modeling of infinite behavior, as well as the
exploitation of some classical results, such as Banach's fixed
point theorem. Perspectives on further topics, such as full
abstractness, noninterleaving semantics for parallelism, and
second-order programming are also included.
Foundations of Computing series
