WikiDer > Джо Стой
Джозеф Э. Стой это Британский специалист в области информатики. Изначально он учился физика в Оксфордский университет. В начале своей карьеры, в 1970-х, он работал над денотационная семантика с Кристофер Стрейчи в Группа исследования программирования в вычислительной лаборатории Оксфордского университета (ныне Оксфордский университет, факультет компьютерных наук).[1] Он был Парень из Баллиол Колледж, Оксфорд. Он также провел время в Массачусетский технологический институт в Соединенные Штаты.[2] В 2003 году он стал соучредителем Bluespec, Inc.
Его книга Денотационная семантика: подход Скотта-Стрейчи к семантике языков программирования (MIT Press, 1977) теперь классический текст.[3]
Стой женился на Габриэль Стой, математике и Парень из Леди Маргарет Холл, Оксфорд.[4]
Рекомендации
- ^ Джо Стой: Научные интересы, Вычислительная лаборатория Оксфордского университета, ВЕЛИКОБРИТАНИЯ.
- ^ «Рабочая группа 2.3 IFIP: Методология программирования». Новости. Microsoft Research. Получено 8 ноября 2011.
- ^ Джо Стой, Денотационная семантика: подход Скотта-Стрейчи к семантике языков программирования, MIT Press, 1981. (Мягкая обложка.) ISBN 978-0-262-69076-8.
- ^ «Профиль: доктор Габриэль Стой». ВЕЛИКОБРИТАНИЯ: Леди Маргарет Холл, Оксфорд. Получено 17 ноября 2016.
внешняя ссылка
- Джозеф Э. Стой в DBLP Сервер библиографии
- Верификация и семантика программ: ранняя работа
- Стрейчи и Оксфордская исследовательская группа по программированию: беседа Джо Стоя о Кристофере Стрейчи и Оксфордская исследовательская группа по программированию.
 | Эта статья о компьютерном специалисте из Соединенного Королевства заглушка. Вы можете помочь Википедии расширяя это. |
 | Эта биографическая статья ученого из Соединенного Королевства заглушка. Вы можете помочь Википедии расширяя это. |