Skip to main content
SpringerLink
Log in
Book cover

Program Construction pp 543–552Cite as

Towards a wide spectrum language to support program specification and program development

  • IV. Special Language Considerations And Formal Tools
  • Chapter
  • First Online:

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

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F.L. Bauer: A Philosophy of Programming. A Course of three Lectures given at the University of London, October 1973 Also in: Proc. Intern. Summer School on Language Hierarchies and Interfaces, Maktoberdorf 1975 Lecture Notes in Computer Science 46. Berlin, Heidelberg, New York: Springer 1976

    Chapter  Google Scholar 

  2. F.L. Bauer: Programming as an Evolutionary Process. Technische Universität München, Institut für Informatik, Rep. No. 7617, 1976 Also: Proc. 2nd Int. Conf. on Software Engineering, Oct. 1976, San Francisco, Ca., 223–234

    Google Scholar 

  3. F.L. Bauer, H. Partsch, P. Pepper, H. Wössner: Techniques for Program Development. Technische Universität München, Institut für Informatik, Interner Bericht, Sept. 1976 Also in: Software Engineering Techniques. Infotech State of the Art Report 34, 1977

    Google Scholar 

  4. F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universität München, Institut für Informatik, TUM-INFO-7722, 1977

    Google Scholar 

  5. F.L. Bauer, H. Partsch, P. Pepper, H. Wössner: Notes on the Project CIP: Outline of a Transformation System. Technische Universität München, Institut für Informatik, TUM-INFO-7729, 1977

    Google Scholar 

  6. M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universität München, Institut für Informatik, Rep. No. 7701, 1977

    Google Scholar 

  7. R.M. Burstall, J. Darlington: Some Transformations for Developing Recursive Programs. Proc. of the Int. Conf. on Reliable Software, Los Angeles 1975, 465–472 Also (revised version): J. ACM 24, 44–67 (1977)

    Article  Google Scholar 

  8. E.W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 453–457 (1975)

    Article  MathSciNet  Google Scholar 

  9. F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig: Language Layers, Portability and Program Structuring. In: W.L. van der Poel, L. Maarsen (eds.): Machine Oriented Higher Level Languages. Amsterdam: North-Holland 1974

    Google Scholar 

  10. S.L. Gerhart: Correctness-Preserving Program Transformations. Conf. Rec. Second ACM Symp. on Principles of Programming Languages, Jan. 1975, 54–66

    Google Scholar 

  11. R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universität München, Institut für Informatik, TUM-INFO-7741, 1977

    Google Scholar 

  12. R.Gnatz, P. Pepper: fusc: An Example in Program Development. Technische Universität München, Institut für Informatik, TUM-INFO-7711, 1977

    Google Scholar 

  13. C.A.R. Hoare: Recursive Data Structures. Stanford University A.I. Lab., STAN-CS-73-400, Oct. 1973 Also: Internat. J. Comput. Information Sci. 4:2, 105–132 (1975)

    Article  Google Scholar 

  14. D.E. Knuth: Structured Programming with go to Statements. Computing Surveys 6:4, 261–301 (1974)

    Article  Google Scholar 

  15. B. Krieg-Brückner: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation, Technische Universität München, Institut für Informatik, TUM-INFO-7805, 1978

    Google Scholar 

  16. B.W. Lampson, J.J. Horning, R.L. London, J.G. Nitchell, G.J. Popek: Report on the Programming Language Euclid. SIGPLAN Notices 12:2, Feb. 1977

    Article  Google Scholar 

  17. B. Liskov, S. Zilles: Specification Techniques for Data Abstraction. IEEE Trans. on Software Eng. 1:1, 7–18 (1975)

    Article  Google Scholar 

  18. J. McCarthy: Towards a Mathematical Science of Computation. Proc. IFIP Congress 62, München. Amsterdam: North-Holland 1962

    Google Scholar 

  19. J. McCarthy: A Basis for a Mathematical Theory of Computation. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963

    Google Scholar 

  20. H. Partsch, P. Pepper: Program Transformation on Different Levels of Programming. Technische Universität München, Institut für Informatik, TUM-INFO-7715, 1977

    Google Scholar 

  21. P. Pepper, F.L. Bauer, B. Krieg-Brückner: Development of Data-Structures. Technische Universität München, Institut für Informatik, Internal Report 1977

    Google Scholar 

  22. D. Scott: Data Types as Lattices. SIAM J. on Computing 5, 522–587 (1976)

    Article  MathSciNet  Google Scholar 

  23. T.A. Standish, D.C. Harriman, D.F. Kibler, J.M. Neighbors: Improving and Refining Programs by Program Manipulation. Proc. 1976 ACM Annual Conf., Oct. 1976, 509–516

    Google Scholar 

  24. R. Steinbrüggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universität München, Institut für Informatik, TUM-INFO-7714, 1977

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik der Technischen Universität München, Postfach 202420, D-8000, München 2, Germany

    F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brücknert, H. Partsch, P. Pepper & H. Wössner

Authors
  1. F. L. Bauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Gnatz
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. W. Hesse
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. B. Krieg-Brücknert
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. H. Partsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. P. Pepper
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. H. Wössner
    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. et al. (1979). Towards a wide spectrum language to support program specification and program development. In: Bauer, F.L., et al. Program Construction. Lecture Notes in Computer Science, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014682

Download citation

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

  • 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