برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Complementary Definitions of Programming Language Semantics

دانلود کتاب تعاریف تکمیلی معناشناسی زبان برنامه نویسی

مشخصات کتاب

Complementary Definitions of Programming Language Semantics

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: James E. Donahue (auth.)  
سری: Lecture Notes in Computer Science 42 
ISBN (شابک) : 354007628X, 9783540076285 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1976 
تعداد صفحات: 177 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 48,000

کلمات کلیدی مربوط به کتاب تعاریف تکمیلی معناشناسی زبان برنامه نویسی: علوم کامپیوتر، عمومی

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 8

در صورت تبدیل فایل کتاب Complementary Definitions of Programming Language Semantics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تعاریف تکمیلی معناشناسی زبان برنامه نویسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تعاریف تکمیلی معناشناسی زبان برنامه نویسی

این جلد استفاده از معناشناسی ریاضی و بدیهی را به عنوان ابزاری برای ارائه تعاریف تکمیلی از معناشناسی زبان های برنامه نویسی توصیف می کند. ما نشان می‌دهیم که با ارائه توصیف‌هایی از معناشناسی زبان در سطوح مختلف انتزاع، می‌توانیم هر دو: 1. تعاریف معنایی را ارائه دهیم که برای اهدافی که توصیف‌های رسمی مورد نیاز است، به عنوان مثال، اثبات ویژگی‌های برنامه‌ها یا نشان دادن درستی اجراها، مناسب باشد. و 2. چارچوبی را ایجاد کنید که در آن مسائل مربوط به طراحی زبان را بتوان به دقت فرمول بندی کرد.

توضیحاتی درمورد کتاب به خارجی

This volume describes the use of mathematical and axiomatic semantics as a means of giving complementary definitions of the semantics of programming languages. We show that by giving descriptions of language semantics at different levels of abstraction, we can both: 1. provide semantic definitions well-suited for the purposes for which formal descriptions are needed, e.g., proving properties of programs or showing implementations to be correct, and 2. develop a framework in which the issues involved in language design can be rigorously formulated.

فهرست مطالب

Introduction....Pages 1-4
History and literature review....Pages 5-21
Basic elements of the lattice-theoretic approach....Pages 22-29
Complementary definitions of a PASCAL subset....Pages 30-76
Consistency of the PASCAL subset definitions....Pages 77-113
Extensions to the PASCAL subset language....Pages 114-156
Conclusions and directions of future research....Pages 157-162