โ Scribed by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Mรถller, H. Partsch, P. Pepper, K. Samelson, H. Wรถssner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brรผckner, A. Laut, T. Matzner (auth.)
No coin nor oath required. For personal study only.
Part 0 : Introduction to the project CIP....Pages 1-11
Part I : Informal survey of the language....Pages 13-52
Part II : Description of the language....Pages 53-156
Part III : Formal definition of the language....Pages 157-227
Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages
๐ SIMILAR VOLUMES
<p>This book is the second of two volumes that present the main results which emerged from the project CIP - <I>C</I>omputer-Aided, <I>I</I>ntuition-Guided <I>P</I>rogramming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is b
<p>This book is the second of two volumes that present the main results which emerged from the project CIP - <I>C</I>omputer-Aided, <I>I</I>ntuition-Guided <I>P</I>rogramming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is b
<p>The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming)