دانلود کتاب A Connotational Theory of Program Structure (به فارسی: نظریه مفهومی ساختار برنامه) نوشته شده توسط «James S. Royer (auth.)»
اطلاعات کتاب نظریه مفهومی ساختار برنامه
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: James S. Royer (auth.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1987
تعداد صفحه: 188
حجم کتاب: 2 مگابایت
کد کتاب: 3540182535 , 9783540182535
نوبت چاپ: 1
توضیحات کتاب نظریه مفهومی ساختار برنامه
این کتاب پیشرفتهای یک نظریه مستقل از زبان ساختار برنامه را ارائه میکند. این تئوری یک مفهوم ساده و طبیعی از ساختار کنترل دارد که بسیار گستردهتر از سایر تئوریهای زبانهای برنامهنویسی مانند معنیشناسی معنایی و طرحهای برنامه است. این مفهوم به ساختارهای کنترلی اجازه میدهد که نه تنها به برنامهها (یعنی رفتار ورودی/خروجی آنها) اشاره کنند، بلکه ساختار، اندازه، زمان اجرا و غیره را نیز شامل میشوند. این تئوری همچنین به رابطه ساختار کنترل و ویژگیهای پیچیدگی میپردازد. زبانهای برنامه نویسی. این کتاب بر وابستگیهای متقابل بیانی ساختارهای کنترلی تمرکز میکند (که کدام ساختارهای کنترلی را میتوان با آنها بیان کرد). یک روش کلی برای اثبات مستقل بودن ساختارهای کنترلی ایجاد شده است. این کتاب همچنین ویژگی های قدرت بیانی زبان های برنامه نویسی با هدف عمومی را از نظر ساختارهای کنترلی در نظر می گیرد. چندین ویژگی جدید ارائه شده است و دو نتیجه فشردگی برای چنین خصوصیات نشان داده شده است.
This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. This notion permits treatment of control structures which involve not only the denotation of programs (i.e., their input/output behavior), but also their structure, size, run times, etc. The theory also treats the relation of control structure and complexity properties of programming languages. The book focuses on expressive interdependencies of control structures (which control structures can be expressed by which others). A general method of proving control structures expressively independent is developed. The book also considers characterizations of the expressive power of general purpose programming languages in terms of control structures. Several new characterizations are presented and two compactness results for such characterizations are shown.
دانلود کتاب «نظریه مفهومی ساختار برنامه»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.