Skip to main content
SpringerLink
Log in

Program development by stepwise transformations — The project CIP

  • III. Program Development By Transformation
  • Chapter
  • First Online:
Book cover Program Construction

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 69))

This research was carried out within the Sonderforschungsbereich 49 "Programmiertechnik", München

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.N. Buxton, B. Randell (eds.): Software engineering techniques. NATO Scientific Affairs Division, Bruxelles, 1970

    Google Scholar 

  2. F.L. Bauer, G. Goos: Informatik — Eine einführende übersicht. 2 Vols. 2nd ed. Springer, 1973, 1974

    Google Scholar 

  3. P.J. Landin: The next 700 programming languages. Comm. ACM 9, 157–166 (1966)

    Article  Google Scholar 

  4. D. Scott: Data types as lattices. SIAM Journal of Computing 5, 522–587 (1976)

    Article  MathSciNet  Google Scholar 

  5. D.C. Cooper: The equivalence of certain computations. Computer Journal 9, 45–52 (1966)

    Article  MathSciNet  Google Scholar 

  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. E.W. Dijkstra: In honour of Fibonacci. EWD654. This volume.

    Google Scholar 

  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).

    MATH  Google Scholar 

  9. E.W. Dijkstra: A discipline of programming. Prentice-Hall, Englewood Cliffs, N.J., 1976

    MATH  Google Scholar 

  10. H. Egli: A mathematical model for nondeterministic computations. ETH Zürich, 1975

    Google Scholar 

  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, 1978

    Google Scholar 

  12. W.P. de Roever: Operational, mathematical and axiomatized semantics for recursive procedures and data structures. Mathematisch Centrum, Amsterdam, 1974

    Google Scholar 

  13. W.A. Wulf, D.B. Russell, A.N. Habermann: BLISS: A language for systems programming. Comm. ACM 14, 780–790 (1971)

    Article  MathSciNet  Google Scholar 

  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–30

    Google Scholar 

  15. F.L. Bauer: Detailization and lazy evaluation, infinite objects and pointer representation. This volume.

    Google Scholar 

  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. 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.

    Article  Google Scholar 

  18. P. Pepper: A Study on Transformational Semantics. Dissertation, Munich 1978. See also this volume.

    Google Scholar 

  19. F.L. Bauer, H. Wössner: Algorithmic Language and Program Development. Prentice Hall International, London 1979

    Google Scholar 

  20. H. Partsch, M. Broy: Examples for Change of Types and Object Structures. This volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Germany

    F. L. Bauer

Authors
  1. F. L. Bauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Friedrich L. Bauer Manfred Broy E. W. Dijkstra S. L. Gerhart D. Gries M. Griffiths J. V. Guttag J. J. Horning S. S. Owicki C. Pair H. Partsch P. Pepper M. Wirsing H. Wössner

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bauer, F.L. (1979). Program development by stepwise transformations — The project CIP. In: Bauer, F.L., et al. Program Construction. Lecture Notes in Computer Science, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014671

Download citation

  • DOI: https://doi.org/10.1007/BFb0014671

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09251-3

  • Online ISBN: 978-3-540-35312-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation