| 词条 | IBM Laboratory Vienna |
| 释义 |
IBM Laboratory Vienna was an IBM research laboratory based in Vienna, Austria. The laboratory started with a group led by Heinz Zemanek that moved from the Technische Hochschule (now the Technical University of Vienna).[1] Initially, the group worked on computer hardware projects. Later a compiler for the ALGOL 60 programming language was produced. The group built on ideas of Calvin C. Elgot, Peter Landin, and John McCarthy, to create an operational semantics that could define the whole of IBM's PL/I programming language. The meta-language used for this was dubbed by people outside the laboratory as the Vienna Definition Language (VDL). These descriptions were used for compiler design research into compiler design during 1968–70.[2] The formal method VDM (Vienna Development Method) was a result of research at the laboratory by Dines Bjørner, Cliff Jones, Peter Lucas, and others.[1] See also
References1. ^1 {{cite book| first=Cliff B. | last=Jones | authorlink=Cliff Jones (computer scientist) | title=Systematic software development using VDM | publisher=Prentice-Hall | year=1990 | page=1 }} {{coord missing|Austria}}{{Austria-org-stub}}{{comp-sci-stub}}2. ^{{cite article| | first1=Cliff B. | last1=Jones | first2=Peter | last2=Lucas | authorlink2=Peter Lucas (computer scientist) | title=Proving correctness of implementation techniques | editor-first1=E. | editor-last1=Engeler | work=A Symposium on Algorithmic Languages | volume=188 | series=Lecture Notes in Mathematics | pages=178–211 | publisher=Springer-Verlag | year=1971 }} 7 : Organizations with year of establishment missing|Organizations with year of disestablishment missing|IBM facilities|Computer science research organizations|Computer science institutes|Organisations based in Vienna|Research institutes in Austria |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。