Advertisement

Construction of complete sample system for correctness testing

  • J. M. Barzdin
  • J. J. Bičevskis
  • A. A. Kalninsh
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 32)

Keywords

Input File Output File Current Record Base Language Debug Process 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Барздинъ Я.М., Бичевский Я.Я., Калнинъщ А.А., Построение полной системы примеров для проверки корректности программ. Ученые записки Латвийского государственного университета, т.210 (1974), 152–187.Google Scholar
  2. 2.
    Калнинъщ А.А., Бичевский Я.Я., Барздинъ Я.М., Разрещимые и неразрещимые случаи проблемы построения полной системы примеров. —, 188–205.Google Scholar
  3. 3.
    Барздинъ Я.М., Замечание о синтезе программ по историям их работы. —, 145–151.Google Scholar
  4. 4.
    Barzdin J.M., Synthesizing programs given by examples.-Lecture Notes in Computer Science 5 (A. Ershov, Ed.), pp. 56–63, Springer-Verlag, Berlin, 1974.Google Scholar
  5. 5.
    Bierman A.W., u.c., Automatic program synthesis. Technical Report, Ohio State University, 1973.Google Scholar

Translation of Russian references

  1. 1.
    Barzdin, J.M., Bičevskis, J.J. and Kalninsh, A.A., Construction of complete sample system for testing correctness of programs. Učenye zapiski Latv. gos. univ. 210 (1974), 152–187.Google Scholar
  2. 2.
    Barzdin, J.M., Bičevskis, J.J. and Kalnish, A.A., Solvable and unsolvable cases of the problem of construction of a complete sample system. Ibid, 188–205.Google Scholar
  3. 3.
    Barzdin, J.M., A note on synthesis of programs from their computational histories. Ibid, 145–151.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • J. M. Barzdin
    • 1
  • J. J. Bičevskis
    • 1
  • A. A. Kalninsh
    • 1
  1. 1.Computing Center of Latvian State UniversityRigaUSSR

Personalised recommendations