|
СТ |
Об одном подходе к повышению точности статического контроля типов |
1986 |
Сабельфельд В. К., Черноброд Л. В. |
|
|
ВЦ СО АН СССР |
Методы трансляции и конструирования программ |
25.01.1994 |
|
СТ |
Об одном подходе к анализу свойств программ |
1987 |
Сабельфельд В. К., Черноброд Л. В. |
|
|
|
Программирование |
25.01.1994 |
|
СТ |
О проверке правильности программ с помо ью ЭВМ |
1976 |
Непомнящий В. А., Черноброд Л. В. |
|
|
ВЦ СО АН СССР |
Проблемы программирования |
11.10.1993 |
|
П |
Система анализа свойств программ, оперирующих сложными структурами данных |
1987 |
Черноброд Л. В. |
|
|
ВЦ АН СССР |
|
27.03.1993 |
|
СТ |
Статистические вычисления в полиморфной системе типов с подтипами и предикатами |
1991 |
Черноброд Л. В. |
|
|
|
Смешанные вычисления и преобразование программ |
23.06.1992 |
|
СТ |
Статистические вычисления в полиморфной системе типов с подтипами и предикатами |
1991 |
Черноброд Л. В. |
|
|
|
Смешанные вычисления и преобразование программ |
22.06.1992 |
|
СТ |
О системе поддержки программирования па языке ЛИСП |
1990 |
Березина А. В., Блинов А. А., Черноброд Л. В. |
|
|
|
Теоретические проблемы систем обработки информации |
04.03.1992 |
|
СТ |
Автоматизация проверки правильности индексирования динамических массивов |
1988 |
Черноброд Л. В. |
|
|
|
Методы трансляции и конструирования программ. (Тез.докл. Всесоюз. конф. 23-25 ноября 1988 г.) |
02.04.1991 |
|
А |
Верификация алголо-подобных программ методом индуктивных высказываний |
1984 |
Черноброд Л. В. |
|
|
|
20989 |
07.06.1984 |
|
П |
Система проверки утверждений о программах СПРУТ |
1980 |
Черноброд Л. В. |
|
|
ВЦ СО АН СССР |
22244 |
04.08.1980 |
|
П |
Проверка правильности логических утверждений о программах на языке СЕТЛ |
1974 |
Черноброд Л. В. |
|
|
ВЦ СО АН СССР |
22246 |
18.07.1974 |
