|
СТ |
Основные средства современных языков программирования БД |
1991 |
Замулин А. В. |
|
|
|
УСиМ |
30.10.1991 |
|
СТ |
Статистические вычисления в программах |
1991 |
Замулин А. В. |
|
|
|
Смешанные вычисления и преобразование программ |
22.06.1992 |
|
СТ |
Перспективы развития системы баз данных третьего поколения |
1992 |
Замулин А. В. |
|
|
|
Программирование |
10.06.1992 |
|
П |
Язык спецификаций баз данных РУСЛАН (предварительное сообщение) |
1994 |
Замулин А. В. |
|
|
ИСИ СО РАН |
22180 |
06.07.1994 |
|
П |
Язык спецификаций баз данных РУСЛАН (примеры спецификаций) |
1994 |
Замулин А. В. |
|
|
ИСИ СО РАН |
22167 |
20.07.1994 |
|
СТ |
Системы программирования баз данных и знаний. Язык DBPL |
1995 |
Замулин А. В. |
|
|
|
Технология программирования |
14.06.1995 |
|
СТ |
Структурированные алгебраические спецификации |
1997 |
Замулин А. В. |
|
|
|
Системная информатика |
10.04.1998 |
|
СТ |
Информационное сообщение: Третья международная конференция памяти академика А.П.Ершова "Перспективы систем информатики" |
1998 |
Замулин А. В. |
|
|
|
Программирование |
04.12.1998 |
|
СТ |
Динамические системы с неявным состоянием |
1999 |
Годель М. -К., Хури К., Замулин А. В. |
|
|
|
Программирование |
28.10.1999 |
|
СТ |
Механизм для формального описания динамических систем |
1999 |
Замулин А. В. |
|
|
|
Программирование |
29.11.1999 |
|
М |
Формальные методы спецификации программ |
1999 |
Замулин А. В. |
|
|
НГУ |
Учебное пособие |
13.10.2000 |
|
СТ |
Императивная спецификация динамических систем |
2000 |
Замулин А. В. |
|
|
|
Системная информатика |
05.04.2001 |
|
СТ |
Алгебраическая модель совокупности типов объектов с неявным состоянием |
2000 |
Замулин А. В. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
21.07.2000 |
|
СТ |
Отчет о конференции "Перспективы систем информатики" |
2000 |
Замулин А. В. |
|
|
|
Программирование |
13.11.2000 |
|
СТ |
Отчет о Международной конференции "Перспективы систем информатики" |
2002 |
Замулин А. В. |
|
|
|
Программирование |
03.04.2002 |
|
СТ |
Алгебраическая модель императивной программы |
2003 |
Замулин А. В. |
|
|
|
Труды Первой Всероссийской научной конференции "Методы и средства обработки информации" |
21.09.2003 |
|
СТ |
Формальная семантика выражений и операторов языка Java |
2003 |
Замулин А. В. |
|
|
|
Программирование |
29.11.2003 |
|
СТ |
Формальная модель Java-программы, основаанная на машинах абстрактных состояний |
2003 |
Замулин А. В. |
|
|
|
Программирование |
19.09.2003 |
|
СТ |
Абстрактная модель компилятора как результат алгебраической семантики языка программирования |
2004 |
Замулин А. В. |
|
|
|
Программирование |
29.10.2004 |
|
СТ |
Отчет о международной конференции "Перспективы систем информатики" |
2004 |
Замулин А. В. |
|
|
|
Программирование |
29.03.2004 |
