Read The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292)

The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292)

Friedrich L. Bauer

4.9/5 (32743 ratings)

Description:This book is the second of two volumes that present the main results which emerged from the project CIP - "C"omputer-Aided, "I"ntuition-Guided "P"rogramming - 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292). To get started finding The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 3540187790

Description: This book is the second of two volumes that present the main results which emerged from the project CIP - "C"omputer-Aided, "I"ntuition-Guided "P"rogramming - 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292). To get started finding The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292)

The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science, 292)

More Books

Historische Notizen zur Informatik (German Edition) by Friedrich L. Bauer (2009-01-08)

Historische Notizen zur Informatik (German Edition) by Friedrich L. Bauer (2009-01-08)

Origins and Foundations of Computing: In Cooperation with Heinz Nixdorf MuseumsForum

Origins and Foundations of Computing: In Cooperation with Heinz Nixdorf MuseumsForum

Algorithmic Language and Program Development (Monographs in Computer Science) by Friedrich L. Bauer (1982-11-22)

Algorithmic Language and Program Development (Monographs in Computer Science) by Friedrich L. Bauer (1982-11-22)

[(Logic and Algebra of Specification )] [Author: Friedrich L. Bauer] [Apr-2014]

[(Logic and Algebra of Specification )] [Author: Friedrich L. Bauer] [Apr-2014]

Informatik: Aufgaben und L??sungen Erster Teil (Heidelberger Taschenb??cher) by Friedrich L. Bauer Rupert Gnatz (1975-01-01)

Informatik: Aufgaben und L??sungen Erster Teil (Heidelberger Taschenb??cher) by Friedrich L. Bauer Rupert Gnatz (1975-01-01)

Decrypted Secrets: Methods and Maxims of Cryptology by Friedrich L. Bauer (2006-11-14)

Decrypted Secrets: Methods and Maxims of Cryptology by Friedrich L. Bauer (2006-11-14)

Algorithmische Sprache und Programmentwicklung (German Edition) by Friedrich L. Bauer (1983-12-01)

Algorithmische Sprache und Programmentwicklung (German Edition) by Friedrich L. Bauer (1983-12-01)

Decrypted Secrets: Methods and Maxims of Cryptology

Decrypted Secrets: Methods and Maxims of Cryptology

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School (Nato ASI Subseries F:)

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School (Nato ASI Subseries F:)