A Connotational Theory of Program Structure

این کتاب پیشرفت‌های یک نظریه مستقل از زبان ساختار برنامه را ارائه می‌کند. این تئوری یک مفهوم ساده و طبیعی از ساختار کنترل دارد که بسیار گسترده‌تر از سایر تئوری‌های زبان‌های برنامه‌نویسی مانند معنی‌شناسی معنایی و طرح‌های برنامه است. این مفهوم به ساختارهای کنترلی اجازه می‌دهد که نه تنها به برنامه‌ها (یعنی رفتار ورودی/خروجی آنها) اشاره کنند، بلکه ساختار، اندازه، زمان اجرا و غیره را نیز شامل می‌شوند. این تئوری همچنین به رابطه ساختار کنترل و ویژگی‌های پیچیدگی می‌پردازد. زبانهای برنامه نویسی. این کتاب بر وابستگی‌های متقابل بیانی ساختارهای کنترلی تمرکز می‌کند (که کدام ساختارهای کنترلی را می‌توان با آن‌ها بیان کرد). یک روش کلی برای اثبات مستقل بودن ساختارهای کنترلی ایجاد شده است. این کتاب همچنین ویژگی های قدرت بیانی زبان های برنامه نویسی با هدف عمومی را از نظر ساختارهای کنترلی در نظر می گیرد. چندین ویژگی جدید ارائه شده است و دو نتیجه فشردگی برای چنین خصوصیات نشان داده شده است.

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.