Лаборатория IBM в Вене
IBM Laboratory Vienna — исследовательская лаборатория IBM , расположенная в Вене , Австрия .
Лаборатория началась с группы под руководством Хайнца Земанека , которая переехала из Высшей технической школы (ныне Технический университет Вены ). [1] Первоначально группа работала над компьютерного оборудования проектами . Позже был выпущен компилятор языка программирования АЛГОЛ 60 . Группа опиралась на идеи Кэлвина К. Элгота , Питера Ландина и Джона Маккарти , чтобы создать операционную семантику , которая могла бы определить весь язык программирования PL/I IBM . был Используемый для этого метаязык назван людьми за пределами лаборатории Венским языком определений (VDL). Эти описания использовались для конструкции компилятора в 1968–70 годах. исследования [2]
Формальный метод VDM ( Венский метод развития ) стал результатом исследований в лаборатории Динеса Бьернера , Клиффа Джонса , Питера Лукаса и других. [1]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б Джонс, Клифф Б. (1990). Систематическая разработка программного обеспечения с использованием VDM . Прентис-Холл . п. 1.
- ^ Джонс, Клифф Б.; Лукас, Питер (1971). Энгелер, Э. (ред.). «Обоснование правильности методик внедрения». Симпозиум по алгоритмическим языкам . Конспект лекций по математике . Том. 188. Шпрингер-Верлаг . стр. 178–211.
 | Эта статья об организации в Австрии незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |