Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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
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
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
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
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
M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universität München, Institut für Informatik, Rep. No. 7701, 1977
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)
E.W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 453–457 (1975)
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
S.L. Gerhart: Correctness-Preserving Program Transformations. Conf. Rec. Second ACM Symp. on Principles of Programming Languages, Jan. 1975, 54–66
R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universität München, Institut für Informatik, TUM-INFO-7741, 1977
R.Gnatz, P. Pepper: fusc: An Example in Program Development. Technische Universität München, Institut für Informatik, TUM-INFO-7711, 1977
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)
D.E. Knuth: Structured Programming with go to Statements. Computing Surveys 6:4, 261–301 (1974)
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
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
B. Liskov, S. Zilles: Specification Techniques for Data Abstraction. IEEE Trans. on Software Eng. 1:1, 7–18 (1975)
J. McCarthy: Towards a Mathematical Science of Computation. Proc. IFIP Congress 62, München. Amsterdam: North-Holland 1962
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
H. Partsch, P. Pepper: Program Transformation on Different Levels of Programming. Technische Universität München, Institut für Informatik, TUM-INFO-7715, 1977
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
D. Scott: Data Types as Lattices. SIAM J. on Computing 5, 522–587 (1976)
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
R. Steinbrüggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universität München, Institut für Informatik, TUM-INFO-7714, 1977
Author information
Authors and Affiliations
Editor information
Rights 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