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...

Springer Book Archives

Die hier vorgelegte Sammlung von Aufgaben und Losungen erganzt das Lehrbuch, Informatik. Eine einfuhrende Ubersicht' von F. L. BAUER und G. Goos, Heidelberger Taschenbucher Bd. 80, 91. Die Anordnung entspricht kapitelweise der Anordnung im Lehrbuch, die. weitere Unterteilung ist hauptsachlich durch didaktische Gesichts punkte bestimmt. Die Aufgaben sind grossenteils an der TU Munchen in Tutor ubungen behandelt worden. Sie dienen in der Regel dazu, die in der Vorlesung ein gefuhrten Begriffsstrukturen auszufullen und zu festigen; dies gilt insbesondere fur die Programmierungsaufgaben, bei...

Fiir den hiennit vorgelegten zweiten Teil und den Anhang "Methodik des Programmie rens" gilt das bereits im Vorwort zum ersten Teil Gesagte. Herrn Dr. H. WOSSNER, der sich weit iiber Beratung hinaus an der Erarbeitung von Aufgaben und Losungen beteiligte, mochten wir besonders danken. Oem Verlag und der Druckerei danken wir fUr die bewiesene groBe Geduld und fUr die ErfUllung unserer Wiinsche beziig lich des manchmal schwierigen Formelsatzes. Miinchen, im Herbst 1975 F. L. BAUER. R. GNATZ . U. HILL Inhaltsverzeichnis* 5. Kapitel Dynamische Speicherverteilung Kellerspeicher 5. 1. 1...