Лаборатория IBM в Вене - Википедия - IBM Laboratory Vienna

Лаборатория IBM в Вене был IBM исследовательская лаборатория на базе Вена, Австрия.

Лаборатория началась с группы во главе с Хайнц Земанек который переехал из Technische Hochschule (теперь Венский технический университет ).[1] Изначально группа работала над компьютерное железо проекты. Позже компилятор для АЛГОЛ 60 Создан язык программирования. Группа построена на идеях Кэлвин С. Элгот, Питер Ландин, и Джон Маккарти, чтобы создать операционная семантика это могло определить весь IBM PL / I язык программирования. В метаязык использованный для этого, люди за пределами лаборатории окрестили его Венский язык определений (VDL). Эти описания использовались для дизайн компилятора исследования в области проектирования компиляторов в 1968–70.[2]

В формальный метод VDM (Венский метод развития ) был результатом исследований в лаборатории Dines Bjørner, Клифф Джонс, Питер Лукас, и другие.[1]

Смотрите также

Рекомендации

  1. ^ а б Джонс, Клифф Б. (1990). Систематическая разработка программного обеспечения с использованием VDM. Prentice-Hall. п. 1.
  2. ^ Джонс, Клифф Б.; Лукас, Питер (1971). Энгелер, Э. (ред.). «Доказательство правильности методик выполнения». Симпозиум по алгоритмическим языкам. Конспект лекций по математике. 188. Springer-Verlag. С. 178–211.