Skip to main content
SpringerLink
Log in

Inductive syntactical synthesis of programs from sample computations

  • Invited Lectures
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1988 (MFCS 1988)

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

  • 134 Accesses

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

  1. Barzdin J.M. Inductive inference of automata, functions and programs. — Proc.Intern.Math. Congress, Vancouver, 1974, v.2, p.455–460.

    Google Scholar 

  2. Angluin D., Smith C.H. Inductive inference: theory and methods. — Computing Surveys, 1983, v.15, N 3, p.237–259.

    Google Scholar 

  3. Klette R., Wiehagen R. Research in the theory of inductive inference by GDR mathematicians — a survey. — Inform.Sci., 1980, v.22, p.149–169.

    Google Scholar 

  4. Biermann A.W., Krishnaswamy R. Constructing programs from example computations. — IEEE Trans. Soft.Eng. SE-2, 1976, p.141–153.

    Google Scholar 

  5. Barzdin J.M. An approach to the problem of inductive inference. In: "Applications of methods of math. logic"., Proc. of the 3-rd Conf. Tallin, 1983, p.16–28 (in Russian).

    Google Scholar 

  6. Barzdin J.M. Some rules of inductive inference and their use for program synthesis. — Inf. Processing 83, IFIP, North-Holland, 1983, p.333–338.

    Google Scholar 

  7. Brazma A.N., Kinber E.B. Generalized regular expressions — a language for synthesis of programs with branching in loops. — Theor.Com.Sci., 1986, v.46, p.175–195.

    Google Scholar 

  8. Barzdin J.M., Brazma A.N., Kinber E.B. Inductive synthesis: the state, problems, perspectives. — Kybernetika, Kiev, 1987, N 6, p.81–87 (in Russian).

    Google Scholar 

  9. Knuth D.E. The art of computer programming, 1973, v.3, Addison-Wesley.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Centre, Latvian State University, Rainis Blvd., 29, 226250, Riga, USSR

    E. B. Kinber

Authors
  1. E. B. Kinber
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michal P. Chytil Václav Koubek Ladislav Janiga

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kinber, E.B. (1988). Inductive syntactical synthesis of programs from sample computations. In: Chytil, M.P., Koubek, V., Janiga, L. (eds) Mathematical Foundations of Computer Science 1988. MFCS 1988. Lecture Notes in Computer Science, vol 324. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017132

Download citation

  • DOI: https://doi.org/10.1007/BFb0017132

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50110-7

  • Online ISBN: 978-3-540-45926-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation