Promsky Alexey Vladimirovich

Alexey Vladimirovich Promsky
Russia, Novosibirsk
Academic degree
Research area
Affiliation & position
  • A.P. Ershov Institute of Informatics Systems — Scientific secretary
E-mail
List of Articles in System Informatics:
D. Kondratyev A. Promsky An integrated approach to the error localization during C program verification // System Informatics. — . — # 1.  — P. 79-96
I. Anureev A. Promsky Conceptual transition systems and their application to development of conceptual models of programming languages // System Informatics. — . — # 9.  — P. 133-154
D. Kondratyev A. Promsky Towards automated error localization in C programs with loops // System Informatics. — . — # 14.  — P. 31-44