Skip to main content
SpringerLink
Log in

Program production by successive transformation

  • Chapter 2.: Program Development
  • Conference paper
  • First Online:
Language Hierarchies and Interfaces

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

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • D.W. BARRON Recursive Techniques in Programming Macdonald Computer Monographs, 1968

    Google Scholar 

  • F.L. BAUER Variables Considered Harmful Seminar, TU Munich, 1974

    Google Scholar 

  • F.L. BAUER A Philosophy of Programming TU Munich, 1975

    Google Scholar 

  • F.L. BAUER Marktoberdorf, 1975 (b)

    Google Scholar 

  • R.M. BURSTALL, J. DARLINGTON Some Transformations for Developping Recursive Programs SIGPLAN Notices 10, 6, June 1975

    Google Scholar 

  • D.C. COOPER The Equivalence of Certain Computations Comp. Jnl. May 1966

    Google Scholar 

  • J. COURTIN, J. VOIRON Introduction à l'Algorithmique et aux structures de données Université de Grenoble, 1975

    Google Scholar 

  • O.J. DAHL, E.W. DIJKSTRA, C.A.R. HOARE Structured Programming Academic Press, 1972

    Google Scholar 

  • J. DARLINGTON, R.M. BURSTALL A System which Automatically Improves Programs 3rd Int. Conf. on Artificial Intelligence, Stanford, Aug. 1973

    Google Scholar 

  • E.W. ELCOCK Descriptions in Machine Intelligence, 3, Edinburgh University Press, 1968

    Google Scholar 

  • E.W. ELCOCK, J.M. FOSTER, P.M.D. GRAY, J.J. MGGREGOR, A.M. MURRAY ABSET-A Programming Language Based on Sets: Motivation and Examples in Machine Intelligence, 6, Edinburgh University Press, 1971

    Google Scholar 

  • A.P. ERSHOV Problems in Many-Language Systems Marktoberdorf, 1975

    Google Scholar 

  • R.W. FLOYD Assigning Meanings to Programs Proc. Symposium in Appl. Maths., AMS, New York, 1967

    Google Scholar 

  • J.M. FOSTER Assertions: Programs Written Without Specifying Unnecessary Order in Machine Intelligence, 3, Edinburgh University Press, 1968

    Google Scholar 

  • J.M. FOSTER, E.W. ELCOCK ABSYS 1: An Incremental Compiler for Assertions; An introduction in Machine Intelligence, 4, Edinburgh University Press, 1969

    Google Scholar 

  • S.J. GARLAND, D.C. LUCKHAM Program Schemes, Recursion Schemes and Formal Languages UCLA-ENG-7154, University of California, 1971

    Google Scholar 

  • D. GRIES Recursion as a Programming Technique Cornell, April 1975

    Google Scholar 

  • M. GRIFFITHS Relationship between Language Definition and Implementation in Advanced Course in Software Engineering, Springer-Verlag, 1973

    Google Scholar 

  • C.A.R. HOARE An Axiomatic Basic for Computer Programming CACM, 1969

    Google Scholar 

  • D.E. KNUTH Semantics of Context-Free Languages (a) Math. Sys. Theory, Vol. 2, no 2, 1968

    Google Scholar 

  • D.E. KNUTH Semantics of Context-Free Languages (b) Math. Sys. Theory, Vol. 5, no 1, 1971

    Google Scholar 

  • D.E. KNUTH The Art of Computer Programming, Vol. 1 Addison Wesley, 1973

    Google Scholar 

  • D.E. KNUTH Structured Programming with GOTO Statements ACM Comp. Surveys, Dec. 1974

    Google Scholar 

  • H. KRÖGER Bemerkungen zur Auflösung von Rekursionen Seminar, TU Munich, 1974

    Google Scholar 

  • Z. MANNA Mathematical Theory of Computation McGraw Hill, 1974

    Google Scholar 

  • R. RUSTIN (ed.) Design and Optimization of Compilers Prentice Hall, 1972

    Google Scholar 

  • T.B. STEEL UNCOL: The Myth and the Fact Ann. Rev. in Aut. Prog., 2, 1961

    Google Scholar 

  • H.R. STRONG Translation of Recursion Equations into Flowcharts JCSS, June 1971

    Google Scholar 

  • G. VEILLON Transformation de Programmes Récursifs Grenoble, 1975

    Google Scholar 

Download references

Author information

Author notes

  1. M. Griffiths

    Present address: the University of Nancy, France

Authors and Affiliations

  1. Université de Grenoble, France

    M. Griffiths

Authors
  1. M. Griffiths
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Friedrich L. Bauer E. W. Dijkstra A. Ershov M. Griffiths C. A. R. Hoare W. A. Wulf Klaus Samelson

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Griffiths, M. (1976). Program production by successive transformation. In: Bauer, F.L., et al. Language Hierarchies and Interfaces. Lecture Notes in Computer Science, vol 46. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07994-7_52

Download citation

  • DOI: https://doi.org/10.1007/3-540-07994-7_52

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07994-1

  • Online ISBN: 978-3-540-37972-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation