СТ |
Program Optimization: State of the Art and Future Development |
1990 |
Pottosin I. V. |
|
|
|
Informatics 89 |
14.02.1991 |
СТ |
Selected bibliography of Ershov s papers |
1991 |
Pottosin I. V. |
|
|
|
Images of Programming: Dedicated to the Memory of A.P. Ershov |
06.02.1992 |
СТ |
Analysis of program optimization possibilities and futher development |
1991 |
Pottosin I. V. |
|
|
|
Images of Programming: Dedicated to the Memory of A.P. Ershov |
07.02.1992 |
СТ |
Andrej Petrovich Ershov |
1991 |
Pottosin I. V. |
|
|
|
Images of Programming: Dedicated to the Memory of A.P. Ershov |
07.02.1992 |
СТ |
Application of the machine-oriented language EPSILON to the software development |
1974 |
Pottosin I. V. |
|
|
|
Machine-oriented Higher Level Languages |
26.03.1993 |
СТ |
Program Optimization: State of the Art and Future Development |
1990 |
Pottosin I. V. |
|
|
|
INFORMATICS 89: Proc./Soviet-French Symp., vol.II, Tallinn, 1990 |
30.03.1993 |
СТ |
On Program Construction in a Programmer s Working Site |
1988 |
Pottosin I. V. |
|
|
|
Informatika 88: Methods of Compilation and Program Construction: Proc./Act. Franco-soviet seminar |
30.03.1993 |
СТ |
Application of Optimization Techniques to Correctness Problems |
1978 |
Pottosin I. V., Kasyanov V. N. |
|
|
|
Constructing Quality Software |
30.03.1993 |
СТ |
Systemprogrammiersprachen |
1977 |
Pottosin I. V. |
|
|
|
Beitrage Zur Informations verarbeitung |
30.03.1993 |
СТ |
The Structured Constructing as a Discipline of Safe Programming and Instruments Supporting It |
1993 |
Aniskov M. I., Boltayev T. B., Kochetov D. V., Kuzminov T. V., Pottosin I. V. |
|
|
|
CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics |
02.09.1993 |
СТ |
SOKRAT: An Environment for Safe and Efficient Programming |
1993 |
Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I. |
|
|
|
CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics |
03.09.1993 |
СТ |
Formal Methods in Programming and Their Applications |
1993 |
Pottosin I. V. |
|
|
|
SIGACT News |
15.02.1994 |
СТ |
A.P.Ershov - A Pioneer and a Leader of National Programming |
2001 |
Pottosin I. V. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |