Advertisement

A methodology for automatic programming based on the constructive matching strategy

  • Marta Fraňová
Automatic Programming II
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)

References

  1. [a03]
    J. Arsac, Y. Kodratoff: Some Techniques for Recursion Removal from Recursive Function; ACM Transactions on Programming Languages and Systems, Vol. 4, No. 2, April 1982, pp. 295–322.Google Scholar
  2. [b09]
    W. Bibel, K.M. Hornig: LOPS — A System Based on a Strategical Approach to Program Synthesis: in: A.W. Bierman, G. Guiho, Y. Kodratoff (eds.): Automatic Program Construction Techniques; Macmillan Publishing Company, London 1984, 69–91.Google Scholar
  3. [b12]
    R.S. Boyer, J.S. Moore: A Computational Logic; Academic Press, 1979.Google Scholar
  4. [d04]
    J. Darlington: The Dessign of Efficient Data Representations; in A.W. Bierman, G. Guiho, Y. Kodratoff (eds.): Automatic Program Construction Techniques; Macmillan Publishing Company, London 1984, pp. 139–159.Google Scholar
  5. [f04]
    M. Fraňovd: CM — Strategy — Driven Deductions for Automatic Programming; in T. O'Shea (ed.): ECAI.84: Advances in Artificial Intelligence, Elsevier Science Publishers B.V. (North-Holland), 1984, pp. 573–576.Google Scholar
  6. [k12]
    G.Kreisel: Neglected Possibilities of Processing Assertions and Proofs Mechanically: Choice of Problems and Data; in P.Suppes,ed.: University-Level Computer-Assisted Instruction at Stanford: 1968–1980; Stanford University, 1981, pp. 131–148.Google Scholar
  7. [m05]
    Z. Manna and R. Waldinger: A Deductive Approach to Program Synthesis; ACM Transactions on Programming Languages and Systems, Vol. 2., No. 1, January 1980, pp. 90–121.CrossRefGoogle Scholar
  8. [m09]
    P. Martin-Lof: Constructive Mathematics and Computer programming; read at the 6-th International Congress for Logic, Methodology of Science, Hannover 1979.Google Scholar
  9. [s04]
    R.D. Smith: Top-Down Synthesis of Simple Divide and Conquer Algorithm; Technical Report NPS52-82-011, Naval Postgraduate School, Monterey, CA 93940, November 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Marta Fraňová
    • 1
  1. 1.Laboratoire de Recherche en InformatiqueOrsayFrance

Personalised recommendations