«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Сафонов Владимир Олегович

Владимир Олегович Сафонов 114k

-

(02.11.1954)

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
...доктор технических наук, профессор кафедры информатики, заведующий лабораторией Java-технологии математико-механического факультета Санкт-Петербургского государственного университета (СПбГУ), член-корреспондент Российской Академии Естествознания.
В 1977 г. окончил с отличием математико-механический факультет Ленинградского государственного университета (ныне - СПбГУ).
С 1977 г. по настоящее время работает на мат.-мех. факультете СПбГУ.
В 1981 г. защитил кандидатскую диссертацию.
С 1981 г. - младший научный сотрудник.
С 1984 г. - старший научный сотрудник.
С 1989 г. - заведующий лабораторией.
В 1991 г. (в 37 лет) защитил докторскую диссертацию.
В 1994 г. (в 39 лет) получил ученое звание профессора.
Лауреат Премий Правительства Санкт-Петербурга (1999) и Санкт-Петербургского государственного университета (2010) за циклы научных трудов.
В 1970-х - 1980-х гг. был руководителем крупного проекта по разработке трансляторов с языков Паскаль, CLU, Модула-2, РЕФАЛ, АБВ, SNOBOL-4, FORTH-83 для отечественных многопроцессорных вычислительных комплексов (МВК) «Эльбрус».
В 1987 г. разработал официальный текст стандарта языка программирования Паскаль СССР и СЭВ.
В 1980-х - 1990-х гг. разработал язык инженерии знаний Турбо-Эксперт - расширение языка Турбо Паскаль - и ряд экспертных систем для ВМФ и медицины.
В 1992-2002 гг. был научным руководителем группы сотрудников СПбГУ по разработке и сопровождению программного обеспечения (компиляторов, инструментальных средств, Java-технологии) фирмы Sun Microsystems. Выполнил уникальный проект по модернизации и ускорению промышленного компилятора Sun Pascal на основе собственных оригинальных методов компиляции.
С 2003 г. сотрудничает с Microsoft Research, Panasonic Research и другими ведущими фирмами. Имеет уникальный 18-летний опыт руководства международными проектами в области разработки программного обеспечения.
:
...




  • Сафонов В.О. Языки и методы программирования в системе «Эльбрус». [Djv- 9.2M] Под редакцией С.С. Лаврова. Научное издание.
    (Москва: Издательство «Наука». Главная редакция физико-математической литературы, 1989)
    Скан, обработка, формат Djv: ???, предоставил: Михаил, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (5).
      Введение (9).
      Глава 1. Методы программирования на языке Эль-76 (25).
      Глава 2. Система программирования Паскаль-Эльбрус (151).
      Глава 3. Язык программирования Клу и система Клу-Эльбрус (189).
      Глава 4. Специализированные системы программирования для МВК «Эльбрус» (243).
      Глава 5. ТИП-технология программирования (267).
      Глава 6. Методы реализации языков программирования в системе «Эльбрус» (311).
      Приложение 1. Синтаксис стандартного языка Паскаль и языка Паскаль-Эльбрус (352).
      Приложение 2. Русская лексика языка Паскаль-Эльбрус (359).
      Приложение 3. Синтаксис языка Клу и языка Клу-Эльбрус (361).
      Приложение 4. Русская лексика и терминология языка Клу (367).
      Приложение 5. Синтаксис языка АБВ и особенности языка АБВ-Эльбрус (373).
      Список литературы (386).
ИЗ ИЗДАНИЯ: Рассмотрены методы программирования на языках Эль-76, Паскаль, Клу и на других языках, реализованных на новых отечественных вычислительных комплексах «Эльбрус» с языко-ориентированной архитектурой. Описаны новые технологические принципы программирования, основанные на концепции структурированного интерфейса (ТИП-технология), опыт их применения и программная поддержка на МВК «Эльбрус». Приведены практические сведения для использования рассмотренных систем программирования. Дан анализ средств поддержки языков высокого уровня различных классов в архитектуре системы «Эльбрус», описаны новые методы реализации этих языков для МВК «Эльбрус».
Для научных работников и инженеров - специалистов по программному обеспечению ЭВМ, а также для студентов и аспирантов соответствующих специальностей.