Program development by stepwise transformations — The project CIP

  • F. L. Bauer
III. Program Development By Transformation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)


Programming Language Computation Structure Program Variable Composite Object Existential Quantifier 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J.N. Buxton, B. Randell (eds.): Software engineering techniques. NATO Scientific Affairs Division, Bruxelles, 1970Google Scholar
  2. [2]
    F.L. Bauer, G. Goos: Informatik — Eine einführende übersicht. 2 Vols. 2nd ed. Springer, 1973, 1974Google Scholar
  3. [3]
    P.J. Landin: The next 700 programming languages. Comm. ACM 9, 157–166 (1966)Google Scholar
  4. [4]
    D. Scott: Data types as lattices. SIAM Journal of Computing 5, 522–587 (1976)Google Scholar
  5. [5]
    D.C. Cooper: The equivalence of certain computations. Computer Journal 9, 45–52 (1966)Google Scholar
  6. [6]
    F.L. Bauer: Programming Languages under Educational and under Professional Aspects (Russian). In: Proceedings 2nd All-Union Conference on Programming, Novosibirsk, February 1970. See also this volume.Google Scholar
  7. [7]
    E.W. Dijkstra: In honour of Fibonacci. EWD654. This volume.Google Scholar
  8. [8]
    H. Partsch, P. Pepper: A family of rules for recursion removal related to the Towers of Hanoi problem. Institut für Informatik der Technischen Universität München, Rep. No. 7612, 1976. Also: Information Processing Letters, 5, 1974–1977 (1976).Google Scholar
  9. [9]
    E.W. Dijkstra: A discipline of programming. Prentice-Hall, Englewood Cliffs, N.J., 1976Google Scholar
  10. [10]
    H. Egli: A mathematical model for nondeterministic computations. ETH Zürich, 1975Google Scholar
  11. [11]
    T.A. Matzner: Entwicklung eines Algorithmus für Depth-first-search mit einer einfachen Anwendung. In: Algorithmen und Objektstrukturen. Institut für Informatik der Technischen Universität München, Interner Bericht, 1978Google Scholar
  12. [12]
    W.P. de Roever: Operational, mathematical and axiomatized semantics for recursive procedures and data structures. Mathematisch Centrum, Amsterdam, 1974Google Scholar
  13. [13]
    W.A. Wulf, D.B. Russell, A.N. Habermann: BLISS: A language for systems programming. Comm. ACM 14, 780–790 (1971)Google Scholar
  14. [14]
    F.L. Bauer, H. Partsch, P. Pepper, H. Wössner: Techniques for program development. In: Software Engineering Techniques. Infotech State of the Art Report 34. Maidenhead: Infotech International 1977, p. 25–30Google Scholar
  15. [15]
    F.L. Bauer: Detailization and lazy evaluation, infinite objects and pointer representation. This volume.Google Scholar
  16. [16]
    R.M. Burstall, M. Feather: Program Development by Transformations: an Overview. In: Proc. Toulouse CREST Course on Programming 1978, to appear.Google Scholar
  17. [17]
    F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, H. Partsch, P. Pepper, H. Wössner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. SIGPLAN Notices 13 (12), 15–24 (1978). See also this volume.Google Scholar
  18. [18]
    P. Pepper: A Study on Transformational Semantics. Dissertation, Munich 1978. See also this volume.Google Scholar
  19. [19]
    F.L. Bauer, H. Wössner: Algorithmic Language and Program Development. Prentice Hall International, London 1979Google Scholar
  20. [20]
    H. Partsch, M. Broy: Examples for Change of Types and Object Structures. This volume.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • F. L. Bauer
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenGermany

Personalised recommendations