WikiDer > Лаборатория IBM в Вене - Википедия
Лаборатория IBM в Вене был IBM исследовательская лаборатория на базе Вена, Австрия.
Лаборатория началась с группы во главе с Хайнц Земанек который переехал из Technische Hochschule (теперь Венский технический университет).[1] Изначально группа работала над компьютерное железо проекты. Позже компилятор для АЛГОЛ 60 Создан язык программирования. Группа построена на идеях Кэлвин С. Элгот, Питер Ландин, и Джон Маккарти, чтобы создать операционная семантика это могло определить весь IBM PL / I язык программирования. В метаязык использованный для этого, люди за пределами лаборатории окрестили его Венский язык определений (VDL). Эти описания использовались для дизайн компилятора исследования в области проектирования компиляторов в 1968–70.[2]
В формальный метод VDM (Венский метод развития) был результатом исследований в лаборатории Dines Bjørner, Клифф Джонс, Питер Лукас, и другие.[1]
Смотрите также
Рекомендации
- ^ а б Джонс, Клифф Б. (1990). Систематическая разработка программного обеспечения с использованием VDM. Prentice-Hall. п. 1.
- ^ Джонс, Клифф Б.; Лукас, Питер (1971). Энгелер, Э. (ред.). «Доказательство правильности методик выполнения». Симпозиум по алгоритмическим языкам. Конспект лекций по математике. 188. Springer-Verlag. С. 178–211.
 | Эта статья об организации в Австрии заглушка. Вы можете помочь Википедии расширяя это. |
 | Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. |