Группа исследования программирования - Programming Research Group

В Группа исследования программирования (PRG) был частью Вычислительная лаборатория Оксфордского университета (OUCL) в Оксфорд, Англия, вместе с Группа численного анализа, пока OUCL не стал Департамент компьютерных наук в 2011.[1]

PRG была основана Кристофер Стрейчи (1916–1975) [2] в 1965 году. Первоначально он располагался по адресу: 45 Banbury Road.[3]

Тони Хоар, лидер ПРГ с 1977 по 1999 гг.

После безвременной смерти Стрейчи МАШИНА. Hoare, ФРС взял на себя руководство в 1977 году.[4] Идея PRG резюмируется следующей цитатой из Стрэчи, найденной и обнародованной Тони Хоаром после того, как он прибыл в PRG:

Я давно лично считаю, что разделение практической и теоретической работы искусственно и вредно. Большая часть практической работы выполнена в вычисление, оба в программного обеспечения И в аппаратное обеспечение дизайн, является необоснованным и неуклюжим, потому что люди, которые этим занимаются, не имеют четкого представления об основных принципах дизайна своей работы. Большая часть абстрактной математической и теоретической работы бесплодна, поскольку не имеет никакого отношения к реальным вычислениям. Одна из центральных задач исследовательской группы по программированию как учебно-исследовательской группы заключалась в создании атмосферы, в которой не может произойти такое разделение.[4][5]

Группа PRG переехала на 8–11 Keble Road в 1984 году. В конце 1980-х - начале 1990-х годов некоторые члены PRG размещались на 2 South Parks Road, включая Джозеф Гогуэн (который был в PRG в 1988–1996 гг.). Тони Хоар ушел на пенсию в 1999 году, и PRG возглавил Самсон Абрамский с 2000 года. PRG продолжалась до переименования вычислительной лаборатории Оксфордского университета в Департамент компьютерных наук 1 июня 2011 года под руководством Билл Роско, бывший член PRG.[1]

PRG была центром передового опыта в области формальные методы,[6] играя ведущую роль в развитии Обозначение Z (инициирован визитом Жан-Раймон Абриаль ) и CSP (вместе с соответствующими Язык программирования Оккама ). Он выиграл Королевские награды с IBM и Inmos для работы в этой сфере.

Рекомендации

  1. ^ а б «О кафедре информатики». ВЕЛИКОБРИТАНИЯ: Департамент компьютерных наук Оксфордского университета. Получено 7 сентября 2020.
  2. ^ «Кристофер Стрейчи (1916–1975)». Виртуальный музей вычислительной техники. Интернет-архив. 2007. Архивировано с оригинал 26 сентября 2007 г.. Получено 3 мая 2013.
  3. ^ «Расходы на дом, занимаемый исследовательской группой по программированию, 1966–1968». Бодлианские архивы и рукописи. ВЕЛИКОБРИТАНИЯ: Библиотека имени Бодлея, Оксфордский университет. РС. Англ. разное б. 255 / B.25. Получено 7 сентября 2020.
  4. ^ а б «История и структура». Вычислительная лаборатория Оксфордского университета, Интернет-архив. 2007. Архивировано с оригинал 18 июня 2007 г.. Получено 3 мая 2013.
  5. ^ «Справочник бакалавриата 2006–07». Вычислительная лаборатория Оксфордского университета, Интернет-архив. 2007. Архивировано с оригинал 20 июля 2007 г.. Получено 3 мая 2013.
  6. ^ Джонс, Клифф Б.; Томас, Мартин (11 июня 2020 г.). «Разработка и внедрение формальных методов в Великобритании». arXiv:2006.06327 [cs.SE ].

внешняя ссылка

Координаты: 51 ° 45′35 ″ с.ш. 1 ° 15′31 ″ з.д. / 51,7598 ° с.ш.1,2585 ° з. / 51.7598; -1.2585