Algorithmic methods in automatic programming

  • Alan W. Biermann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 203)


Recursive Call Original Specification Input List Program Synthesis Synthesis Methodology 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. A. Barr and E.A. Feigenbaum (Editors), Handbook of Artificial Intelligence, Vol. 2, William Kaufmann, Inc., Los Altos, 1982.Google Scholar
  2. W. Bibel and K.M. Hörnig, “LOPS, A System based on a strategical approach to program synthesis”, in Automatic Program Construction Techniques (Eds. A. Biermann, G. Guiho, Y. Kodratoff), 69–89, 1984.Google Scholar
  3. A.W. Biermann, “Approaches to automatic programming,”, in Advances in Computers 15, Academic Press, New York, 1–63, 1976.Google Scholar
  4. A.W. Biermann, “Automatic Programming: A Tutorial on Formal Methodologies”, Journal of Symbolic Computation, Vol. 1, No. 2, 1985.Google Scholar
  5. A.W. Biermann and G. Guiho (Editors), Computer Program Synthesis Methodologies, D. Reidel Publishing Co., 1983.Google Scholar
  6. A.W. Biermann, G. Guiho, and Y. Kodratoff (Editors), Automatic Program Construction Techniques, Macmillan Publishing Co., 1984.Google Scholar
  7. M. Broy, “Program construction by transformations: a family tree of sorting programs”, in Computer Program Synthesis Methodologies (Editors: A. Biermann and G. Guiho), 1–49, 1983.Google Scholar
  8. R.M. Burstall and J. Darlington, “A transformation system for developing recursive programs”, Journal of the ACM 24, 44–67, 1977.CrossRefGoogle Scholar
  9. S.L. Gerhart, “Proof theory of partial correctness verification systems”, SIAM Journal of Computing 5, 355–377, 1976.CrossRefGoogle Scholar
  10. Z. Manna and R. Waldinger, “Synthesis: dreams ⇒ programs”, IEEE Transactions on Software Engineering SE-5, 294–328, 1979.Google Scholar
  11. Z. Manna and R. Waldinger, “A deductive approach to program synthesis”, ACM Transactions on Programming Languages and Systems 2, 90–121, 1980.CrossRefGoogle Scholar
  12. D.R. Smith, “Top-down synthesis of simple divide and conquer algorithms”, to appear in Artificial Intelligence, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Alan W. Biermann
    • 1
  1. 1.Department of Computer ScienceDuke UniversityDurhamUSA

Personalised recommendations