Construction of complete sample system for correctness testing

1. Барздинъ Я.М., Бичевский Я.Я., Калнинъщ А.А., Построение полной системы примеров для проверки корректности программ. Ученые записки Латвийского государственного университета, т.210 (1974), 152–187.

   Google Scholar 

2. Калнинъщ А.А., Бичевский Я.Я., Барздинъ Я.М., Разрещимые и неразрещимые случаи проблемы построения полной системы примеров. —, 188–205.

   Google Scholar 

3. Барздинъ Я.М., Замечание о синтезе программ по историям их работы. —, 145–151.

   Google Scholar 

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. Bierman A.W., u.c., Automatic program synthesis. Technical Report, Ohio State University, 1973.

   Google Scholar 

Translation of Russian references

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. 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. Barzdin, J.M., A note on synthesis of programs from their computational histories. Ibid, 145–151.

   Google Scholar 

Download references