/LC.GIF&client=easterncarolinaedu)
Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
| Other author | Broy, M., 1949- |
| Other author | Wirsing, M. (Martin) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1991. |
| Description | xii, 268 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 544 Lecture notes in computer science 544. ^A466336 |
| Contents | Two metamodels for application system development : conventional vs. object-oriented approach / W. Hesse -- Transformational meta program development / B. Krieg-Brückner -- Another case study on reusability of transformational developments pattern matching according to Knuth, Morris, and Pratt / H.A. Partsch, N. Völker -- A formal method for the systematic reuse of specification components / R. Hennicker, M. Wirsing -- Deductive program development : evaluatiion in reverse Polish notation as an example / M. Broy -- Literate program derivation : a case study / P. Pepper -- Programs viewed as SKOLEM functions / R. Steinbrüggen -- Calculating a garbage collector / U. Berger, W. Meixner, B. Möller. |
| Bibliography note | Includes bibliographical references and indexes. |
| LCCN | 91035280 |
| ISBN | 354054576X (Berlin : alk. paper) |
| ISBN | 038754576X (U.S. : alk. paper) |