The Munich Project CIP: Volume II: The Program Transformation System CIP-S

این کتاب دومین جلد از دو جلد است که نتایج اصلی حاصل از پروژه CIP را ارائه می‌کند - Cبه کمک کامپیوتر، Intuition-Guided P برنامه نویسی - در دانشگاه فنی مونیخ. موضوع اصلی آن توسعه برنامه از طریق تحول است، روشی که روز به روز اهمیت بیشتری پیدا می کند. در حالی که جلد اول شامل توصیف و مشخصات رسمی یک زبان طیف گسترده CIP-L است که به ویژه برای نیازهای برنامه نویسی تحول آفرین طراحی شده است، جلد دوم یک هدف دوگانه را دنبال می کند: اول، سیستمی به نام CIP-S را توصیف می کند که به کمک یک برنامه نویس در روش برنامه نویسی تحول آفرین. دوم، مثالی غیر اسباب‌بازی برای همین روش ارائه می‌کند، زیرا حاوی مشخصات رسمی هسته سیستم و تحولات تحول‌آفرین برای روتین‌های جالب‌تر سیستم است. بر اساس محاسبات رسمی تحولات برنامه، الزامات غیررسمی برای سیستم بیان شده است. سپس هسته سیستم به طور رسمی با استفاده از انواع داده های جبری و ساختارهای منطقی پیش الگوریتمی زبان طیف گسترده CIP-L مشخص می شود. نشان داده شده است که چگونه برنامه های اجرایی سطح رویه ای را می توان از این مشخصات طبق قوانین رسمی توسعه داد. مجموعه گسترده این قواعد نیز در کتاب آمده است; می توان از آن به عنوان مبنایی برای پیشرفت های بیشتر با استفاده از این روش استفاده کرد. از آنجایی که سیستم به گونه‌ای طراحی شده است که با زبان برنامه‌نویسی مشخصی که باید تبدیل شود، پارامتربندی می‌شود، این کتاب همچنین حاوی راهنمای چگونگی واقعی‌سازی این پارامتر است. این روند با زیرمجموعه کوچکی از CIP-L مثال زده شده است.

This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L.