On Linguistic Method: Selected Papers
β Paul L. Garvin
π Library
π
1964
π De Gruyter Mouton
π English
β¦ LIBER β¦
π
Methods of Programming: Selected Papers on the CIP-Project
β Scribed by Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 1991
- Tongue
- English
- Leaves
- 273
- Series
- Lecture Notes in Computer Science 544
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
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), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.
β¦ Table of Contents
Two metamodels for application system development conventional vs. object-oriented approach....Pages 1-18
Transformational meta program development....Pages 19-33
Another case study on reusability of transformational developments....Pages 35-48
A formal method for the systematic reuse of specification components....Pages 49-75
Deductive program development: Evaluation in reverse Polish notation as an example....Pages 77-99
Literate program derivation: A case study....Pages 101-124
Programs viewed as Skolem functions....Pages 125-134
Calculating a garbage collector....Pages 135-192
On the use of elements of functional programming in program development by transformations....Pages 193-215
Transformational development of circuit descriptions for binary adders....Pages 217-237
β¦ Subjects
Software Engineering; Programming Techniques
π SIMILAR VOLUMES
The Munich Project CIP: Volume II: The P
β F. L. Bauer, H. Ehler, A. Horsch, B. MΓΆller, H. Partsch, O. Paukner, P. Pepper (
π Library
π
1987
π Springer-Verlag Berlin Heidelberg
π English
<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
The Munich Project CIP: Volume II: The P
β F. L. Bauer, H. Ehler, A. Horsch, B. MΓΆller, H. Partsch, O. Paukner, P. Pepper (
π Library
π
1987
π Springer-Verlag Berlin Heidelberg
π English
<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
Selected papers on the analysis of algor
β Donald E. Knuth
π Library
π
2000
π Center for the Study of Language and Inf
π English
Donald Knuth's influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publishing. His award-winning textbooks have become classics; his scientific papers are widely referenced a
Selected Papers on the Transfer of Radia
β Menzel D. (ed.)
π Library
π
1966
π Dover
π English
Selected Papers on the Analysis of Algor
β Donald E. Knuth
π Library
π
2000
π Center for the Study of Language and Inf
π English