دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Piton: a mechanically verified assembly-level language
دانلود کتاب پیتون: یک زبان سطح مونتاژ تایید شده مکانیکی است
مشخصات کتاب
Piton: a mechanically verified assembly-level language
ویرایش:
نویسندگان: Moore J.S.
سری:
ISBN (شابک) : 0792339207
ناشر: Kluwer
سال نشر: 1996
تعداد صفحات: 324
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Piton: a mechanically verified assembly-level language به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیتون: یک زبان سطح مونتاژ تایید شده مکانیکی است نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیتون: یک زبان سطح مونتاژ تایید شده مکانیکی است
این کتاب مشخصات و اثبات یک کامپایلر برای یک زبان سطح اسمبلی پیچیده واقع گرایانه را شرح می دهد. این کتاب وضعیت هنر را در اثبات‌های چک ماشینی نرم‌افزار تعریف می‌کند. Piton یک زبان برنامه نویسی ساده در سطح اسمبلی برای یک ریزپردازنده به نام FM9001 است که در سطح کد ماشین توضیح داده شده است. صحت اجرا با اثبات قضیه مکانیکی ثابت شده است. این کتاب در مورد معنای دقیق پاراگراف قبل است. دقیقاً پیتون چیست؟ FM9001 چیست؟ چگونه Piton در FM9001 پیاده سازی می شود؟ اجرا از چه نظر صحیح است؟ صحت آن چگونه از نظر ریاضی بیان می شود؟ چگونه ثابت می شود؟ در اینجا به این سوالات پاسخ داده شده است. همچنین ویژگی تکاملی نرم افزار، به ویژه پیاده سازی Piton، و اینکه چگونه اثبات نقش مستمر در طراحی و بهبود آن ایفا می کند، مورد بحث قرار می گیرد. Piton یک زبان برنامه نویسی ساده اما غیر پیش پا افتاده است. برنامه‌های فقط اجرا، فراخوانی و بازگشت زیر روال بازگشتی، ارسال پارامتر مبتنی بر پشته، متغیرهای محلی، متغیرها و آرایه‌های سراسری، یک پشته قابل مشاهده برای کاربر برای نتایج متوسط، و هفت نوع داده انتزاعی شامل اعداد صحیح، آدرس‌های داده، آدرس‌های برنامه و زیر روال ارائه می‌کند. نام ها
توضیحاتی درمورد کتاب به خارجی
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of the implementation has been proved by a mechanical theorem prover. This book is about the exact meaning of the previous paragraph. What is Piton, exactly? What is the FM9001? How is Piton implemented on the FM9001? In what sense is the implementation correct? How is its correctness expressed mathematically? How is it proved? These questions are answered here. Also discussed is the evolutionary character of software, the Piton implementation in particular, and how proof plays a continuing role in its design and improvement. Piton is a simple but non-trivial programming language. It provides execute-only programs, recursive subroutine call and return, stack based parameter passing, local variables, global variables and arrays, a user-visible stack for intermediate results, and seven abstract data types including integers, data addresses, program addresses and subroutine names.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Electrical engineering dictionary
دانلود کتاب Pharmacological Aspects of Nursing Care
دانلود کتاب Network Tomography: Identifiability, Measurement Design, and Network State Inference
دانلود کتاب Il Novellino
