Velbitskii Igor' Vyacheslavovich

Publications in Math-Net.Ru

1. Standard representation of semantics in modern programming languages
   
   Dokl. Akad. Nauk SSSR, 223:6 (1975),  1329–1332
2. Metalanguage oriented to efficient specification of current programming language
   
   Dokl. Akad. Nauk SSSR, 213:5 (1973),  1033–1036
3. On the construction of generators of correct information
   
   Dokl. Akad. Nauk SSSR, 208:6 (1973),  1307–1310


4. Поправки к статье “Нормальное задание семантик языков современных систем программирования” (ДАН, т. 223, № б, 1975 г.)
   
   Dokl. Akad. Nauk SSSR, 227:4 (1976),  776