IBM Laboratory Vienna — исследовательская лаборатория IBM , расположенная в Вене , Австрия .
Лаборатория началась с группы во главе с Хайнцем Земанеком , которая перешла из Technische Hochschule (ныне Технический университет Вены ). [1] Первоначально группа работала над проектами компьютерного оборудования . Позже был создан компилятор для языка программирования ALGOL 60. Группа основывалась на идеях Кэлвина К. Элгота, Питера Ландина и Джона Маккарти , чтобы создать операционную семантику , которая могла бы определить весь язык программирования PL/I IBM . Метаязык , используемый для этого, был назван людьми за пределами лаборатории Vienna Definition Language (VDL). Эти описания использовались для исследований в области проектирования компиляторов в 1968–70 годах. [2]
Формальный метод VDM ( Венский метод разработки ) стал результатом исследований в лаборатории Динеса Бьёрнера , Клиффа Джонса , Питера Лукаса и других. [1]