دانلود کتاب Theory of Program Structures: Schemes, Semantics, Verification
دسته: علم شیمی
کتاب نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید نسخه زبان اصلی
دانلود کتاب نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Theory of Program Structures: Schemes, Semantics, Verification
نام کتاب : Theory of Program Structures: Schemes, Semantics, Verification
ویرایش : 1
عنوان ترجمه شده به فارسی : نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید
سری : Lecture Notes in Computer Science 36
نویسندگان : Prof. Sheila A. Greibach (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1975
تعداد صفحات : 375
ISBN (شابک) : 3540074155 , 9783540074151
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مطالب موجود در این یادداشت‌های سخنرانی، توضیحی را ارائه می‌دهد - به جای پژوهشگران در این زمینه، به دانشجویان فارغ‌التحصیل می‌پردازد - از موضوعی که اغلب «طرحواره‌های برنامه» یا «طرح‌واره‌شناسی» نامیده می‌شود. موضوع یک رویکرد برای رسمی کردن مفهوم گریزان «معناشناسی زبان‌های برنامه‌نویسی» است. ایده این است که یک "فلوچارت انتزاعی" را مدل کنیم و رابطه متقابل بین نحو برنامه ها (آنچه می توان در مورد رفتار آنها از قالب آنها گفت) و معنایی (آنچه در واقع "آنها" انجام می دهند، بسته به تفسیر، مطالعه کرد. ، زبان برنامه نویسی و شاید حتی پیاده سازی) و کاربرد سیستم های اثبات رسمی برای تأیید ویژگی های برنامه ها را بررسی کنید.
فهرست مطالب :
Introduction....Pages 1-1-1-8
Program schemes — basic definitions and concepts....Pages 2-1-2-27
Program schemes — basic properties....Pages 3-1-3-39
Structured Programs....Pages 4-1-4-65
Correctness and program verification....Pages 5-1-5-34
Decision problems....Pages 6-1-6-34
Recursion schemes....Pages 7-1-7-78
Monadic recursion schemes....Pages 8-1-8-36
توضیحاتی در مورد کتاب به زبان اصلی :
The material in these lecture notes offers an exposition - aijned at graduate students rather than researchers in the field - of a topic often called ''program schemata'' or ''schematology''. The subject matter represents one approach to formalizing the elusive notion of the ''semantics of programming languages''. The idea is to model an ''abstract flowchart'' and study the interrelation between the syntax of programs (what can be said about their behavior from their format) and the semantics (what they actually ''do'', depending on the interpretation, the programming language, and perhaps even the implementation) and examine the application of formal proof systems to verify properties of programs.
پست ها تصادفی