Ричард Борнат
Ричард Борнат (род. 1944) — британский писатель и исследователь в области информатики . Он также является профессором компьютерного программирования в Университете Миддлсекса . Ранее он учился в Лондонском университете Королевы Марии .
Исследования [ править ]
Научные интересы Борната включают доказательство программ в области логики разделения . Его внимание сосредоточено на самих доказательствах ; в отличие от каких-либо логических подкреплений. Большая часть работы включает в себя поиск способов формулирования свойств независимых модулей таким образом, чтобы сделать их композицию полезными системами.
Борнат (совместно с Бернардом Суфрином из вычислительной лаборатории Оксфордского университета ) разработал Jape , калькулятор доказательств ; он участвует в исследовании возможности использования этого инструмента для поиска новых доказательств.
Среди аспирантов Ричарда Борната был Самсон Абрамски в начале 1980-х годов .
В 2004 году один из учеников Борната разработал тест на способности, позволяющий «разделить людей на программистов и непрограммистов еще до того, как они когда-либо соприкоснутся с программированием». Впервые тест был предложен группе студентов в 2005 году во время эксперимента по использованию ментальных моделей в программировании. [1] В 2008 и 2014 годах Борнат частично отказался от некоторых претензий. [2] ставя под сомнение его достоверность как тест на способность к программированию. [3]
Публикации [ править ]
Борнат опубликовал книгу под названием «Понимание и написание компиляторов: руководство для самостоятельного выполнения» , которая считается одним из самых обширных ресурсов по компиляторов разработке . Хотя в течение некоторого времени книга уже не издавалась, теперь он сделал ее доступной в виде онлайн-издания .
Другие публикации Bornat включают:
- Р. Борнат; 1987 год; Программирование на основе первых принципов ; Международная серия Прентис Холл по информатике ; ISBN 0-13-729104-3 .
- Ричард Борнат и Гарольд Тимблби; 1989 год; Жизнь и времена Деда, редактор дисплея; в JB Long & A. Whitefield (редакторы); Когнитивная эргономика и взаимодействие человека и компьютера; Издательство Кембриджского университета ; стр. 225–255.
- Ричард Борнат и Бернар Суфрин; 1999; Анимация формального доказательства на поверхности: калькулятор доказательств {Jape}; Компьютерный журнал ; Том. 42; нет. 3; стр. 177–192.
- Аксель Дж.К., Фунг П., Борнат Р., Оливер М., О'Ши Т. и Суфрин Б.; 1999 год; Влияние дизайна программного обеспечения на формальные рассуждения; в Брюстер С., Коузи А. и Коктон Г. (ред.) Материалы Международной конференции IFIP TC.13 по взаимодействию человека и компьютера INTERACT '99; Том. 2; стр. 3–4; Суиндон, Великобритания, Британское компьютерное общество ; ISBN 1-902505-19-0 .
- Р. Борнат; 2000 г.; Доказательство указательных программ в логике Хоара; в Backhouse & Oliveira (ред.) MPC 2000; ЛНКС 1837; стр. 102–126.
- К. Кальканьо, П. О'Хирн, Р. Борнат; 2002 г.; Логика программы и эквивалентность при наличии сборки мусора. Появится в Theoretical Computer Science специальном выпуске , посвященном основам .
Ссылки [ править ]
- ^ Дехнади, Саид и Борнат, Ричард (20 февраля 2006 г.). «У верблюда два горба» (PDF) . Школа вычислительной техники, Университет Миддлсекса, Великобритания. Архивировано из оригинала (PDF) 22 ноября 2009 года.
{{cite web}}
: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Борнат, Ричард (24 июля 2014 г.). «Верблюды и горбы: опровержение» (PDF) . Школа науки и технологий, Университет Миддлсекса, Лондон, Великобритания.
- ^ «У верблюда не бывает двух горбов: программный «тест на способности» законсервирован за чрезмерное усердие — Retraction Watch» . Часы втягивания . 18 июля 2014 года . Проверено 13 ноября 2017 г.