Wonder Club world wonders pyramid logo
×

The Munich Project CIP Book

The Munich Project CIP
The Munich Project CIP, , The Munich Project CIP has a rating of 3.5 stars
   2 Ratings
X
The Munich Project CIP, , The Munich Project CIP
3.5 out of 5 stars based on 2 reviews
5
0 %
4
50 %
3
50 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • The Munich Project CIP
  • Written by author the CIP System Group: F. L. Bauer... [et al.]
  • Published by Berlin : Springer-Verlag, c1987., 1988/02/01
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

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.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

The Munich Project CIP, , The Munich Project CIP

X
WonderClub Home

This item is in your Collection

The Munich Project CIP, , The Munich Project CIP

The Munich Project CIP

X
WonderClub Home

This Item is in Your Inventory

The Munich Project CIP, , The Munich Project CIP

The Munich Project CIP

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: