Advertisement

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

  • F. L. Bauer
  • M. Broy
  • R. Gnatz
  • W. Hesse
  • B. Krieg-Brücknert
  • H. Partsch
  • P. Pepper
  • H. Wössner
IV. Special Language Considerations And Formal Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)

Keywords

Transformation Rule Boolean Expression Conditional Expression Descriptive Expression Language Style 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bauer 73]
    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 1976Google Scholar
  2. [Bauer 76]
    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–234Google Scholar
  3. [Bauer et al. 76]
    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, 1977Google Scholar
  4. [Bauer et al. 77a]
    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, 1977Google Scholar
  5. [Bauer et al. 77b]
    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, 1977Google Scholar
  6. [Broy 77]
    M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universität München, Institut für Informatik, Rep. No. 7701, 1977Google Scholar
  7. [Burstall, Darlington 75]
    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)Google Scholar
  8. [Dijkstra 75]
    E.W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 453–457 (1975)Google Scholar
  9. [Geiselbrechtinger et al. 74]
    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 1974Google Scholar
  10. [Gerhart 75]
    S.L. Gerhart: Correctness-Preserving Program Transformations. Conf. Rec. Second ACM Symp. on Principles of Programming Languages, Jan. 1975, 54–66Google Scholar
  11. [Gnatz 77]
    R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universität München, Institut für Informatik, TUM-INFO-7741, 1977Google Scholar
  12. [Gnatz, Pepper 77]
    R.Gnatz, P. Pepper: fusc: An Example in Program Development. Technische Universität München, Institut für Informatik, TUM-INFO-7711, 1977Google Scholar
  13. [Hoare 73]
    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)Google Scholar
  14. [Knuth 74]
    D.E. Knuth: Structured Programming with go to Statements. Computing Surveys 6:4, 261–301 (1974)Google Scholar
  15. [Krieg-Brückner 78]
    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, 1978Google Scholar
  16. [Lampson et al. 77]
    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. 1977Google Scholar
  17. [Liskov, Zilles 75]
    B. Liskov, S. Zilles: Specification Techniques for Data Abstraction. IEEE Trans. on Software Eng. 1:1, 7–18 (1975)Google Scholar
  18. [McCarthy 62]
    J. McCarthy: Towards a Mathematical Science of Computation. Proc. IFIP Congress 62, München. Amsterdam: North-Holland 1962Google Scholar
  19. [McCarthy 63]
    J. McCarthy: A Basis for a Mathematical Theory of Computation. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963Google Scholar
  20. [Partsch, Pepper 77]
    H. Partsch, P. Pepper: Program Transformation on Different Levels of Programming. Technische Universität München, Institut für Informatik, TUM-INFO-7715, 1977Google Scholar
  21. [Pepper et al. 77]
    P. Pepper, F.L. Bauer, B. Krieg-Brückner: Development of Data-Structures. Technische Universität München, Institut für Informatik, Internal Report 1977Google Scholar
  22. [Scott 76]
    D. Scott: Data Types as Lattices. SIAM J. on Computing 5, 522–587 (1976)Google Scholar
  23. [Standish et al. 76]
    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–516Google Scholar
  24. [Steinbrüggen 77]
    R. Steinbrüggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universität München, Institut für Informatik, TUM-INFO-7714, 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • F. L. Bauer
    • 1
  • M. Broy
    • 1
  • R. Gnatz
    • 1
  • W. Hesse
    • 1
  • B. Krieg-Brücknert
    • 1
  • H. Partsch
    • 1
  • P. Pepper
    • 1
  • H. Wössner
    • 1
  1. 1.Institut für Informatik der Technischen Universität MünchenMünchen 2Germany

Personalised recommendations