Джо Стой

Джозеф Э. Стой — британский учёный-компьютерщик . Первоначально он изучал физику в Оксфордском университете . В начале своей карьеры, в 1970-х годах, он работал над денотационной семантикой вместе с Кристофером Стрейчи в исследовательской группе по программированию вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ). ^[1] Он был членом Баллиол- колледжа в Оксфорде . Он также работал в Массачусетском технологическом институте в США . ^[2] В 2003 году он стал соучредителем Bluespec, Inc.

Его книга «Денотационная семантика: подход Скотта-Стрейчи к семантике языка программирования» ( MIT Press , 1977) теперь является классическим текстом. ^[3]

Стой женился на Габриэль Стой, математике и члене леди Маргарет Холл в Оксфорде . ^[4]

Ссылки

^ Джо Стой: Исследовательские интересы , Вычислительная лаборатория Оксфордского университета , Великобритания.
^ «Рабочая группа ИФИП 2.3: Методология программирования» . Новости . Исследования Майкрософт . Проверено 8 ноября 2011 г.
^ Джо Стой, Денотационная семантика: подход Скотта-Стрейчи к семантике языка программирования , MIT Press , 1981. (Мягкая обложка). ISBN 978-0-262-69076-8 .
^ «Профиль: доктор Габриэль Стой» . Великобритания: Леди Маргарет Холл, Оксфорд . Проверено 17 ноября 2016 г. .

Внешние ссылки

Джозеф Э. Стой на DBLP библиографическом сервере
Верификация программы и семантика: ранние работы
Стрейчи и Оксфордская исследовательская группа по программированию : доклад Джо Стой о Кристофере Стрейчи и Оксфордской исследовательской группе по программированию .

Эта статья о компьютерном специалисте из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее .

Эта статья о биографии ученого из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее .

[1] Джо Стой: Исследовательские интересы , Вычислительная лаборатория Оксфордского университета , Великобритания.

[2] «Рабочая группа ИФИП 2.3: Методология программирования» . Новости . Исследования Майкрософт . Проверено 8 ноября 2011 г.

[3] Джо Стой, Денотационная семантика: подход Скотта-Стрейчи к семантике языка программирования , MIT Press , 1981. (Мягкая обложка). ISBN 978-0-262-69076-8 .

[4] «Профиль: доктор Габриэль Стой» . Великобритания: Леди Маргарет Холл, Оксфорд . Проверено 17 ноября 2016 г. .

[1]

[2]

[3]

[4]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Нидерланды
академики	Ассоциация вычислительной техники ДБЛП
Другой	ИдРеф