|
|
Publications in Math-Net.Ru |
Citations |
|
1975 |
1. |
I. V. Velbitskii, “Standard representation of semantics in modern programming languages”, Dokl. Akad. Nauk SSSR, 223:6 (1975), 1329–1332 |
|
1973 |
2. |
I. V. Velbitskii, “Metalanguage oriented to efficient specification of current programming language”, Dokl. Akad. Nauk SSSR, 213:5 (1973), 1033–1036 |
3. |
I. V. Velbitskii, “On the construction of generators of correct information”, Dokl. Akad. Nauk SSSR, 208:6 (1973), 1307–1310 |
|
|
|
1976 |
4. |
I. V. Velbitskii, “Поправки к статье “Нормальное задание семантик языков современных систем программирования” (ДАН, т. 223, № б, 1975 г.)”, Dokl. Akad. Nauk SSSR, 227:4 (1976), 776 |
|
Organisations |
|
|