Zusammenfassung
A wide spectrum language for systematic program development by correctness-preserving source-to-source transformations is outlined. Such a program development language comprises different styles of programming in one coherent framework ranging from predicate-calculus like formulations to machine-oriented algorithms, i.e. from a problem specification language to genuine programming language styles.
This paper was partially sponsored by the Sonderforschungsbereich 49 — Elektronische Rechenanlagen und Informationsverarbeitung
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literature
Bauer F.L.: A philosophy of programming. A course of three lectures given at the University of London, Oct. 1973. Springer Lecture Notes in Comp. Science 46 (1976).
Bauer F.L., Broy M., Gnatz R., Hesse W., Krieg-Brückner B.: 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.
Bauer F.L., Partsch H., Pepper P., Wössner H.: Notes on the project CIP: Outline of a transformation system. Technische Universität München, Institut für Informatik, TUM-INFO-7729, 1977.
Dijkstra E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Comm ACM 18, 453–457 (1975).
Geiselbrechtinger F., Hesse W., Krieg B., Scheidig H.: Language layers, portability and program structuring. In: v.d. Poel W.L., Maarssen L. (eds): Machine-oriented higher-level languages. Amsterdam: North Holland 1974, 79–104.
Knuth, D.E.: Structured programming with goto statements. Computing Surveys 8, 261–301 (1974).
Krieg-Brückner B.: Prevention of side-effects from functions. In: Cousot, P.M. (ed): MOL Bulletin 6 (IFIP WG 2.4), Le Chesnay: IRIA, 1976.
Tennent R.D.: The denotational semantics of programming languages. Comm. ACM 19, August 1976, 437–453.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin · Heidelberg
About this chapter
Cite this chapter
Bauer, F.L., Broy, M., Gnatz, R., Hesse, W., Krieg-Brückner, B. (1978). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In: Alber, K. (eds) Programmiersprachen. Informatik - Fachberichte, vol 12. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-87956-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-87956-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08680-2
Online ISBN: 978-3-642-87956-2
eBook Packages: Springer Book Archive