IBM Laboratory Vienna was an IBM research laboratory based in Vienna , Austria .
6-613: The laboratory started with a group led by Heinz Zemanek that moved from the Technische Hochschule (now the Technical University of Vienna ). 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
12-484: Is a stub . You can help Misplaced Pages by expanding it . This computer science article is a stub . You can help Misplaced Pages by expanding it . Heinz Zemanek Heinz Zemanek (actually Heinrich Josef Zemanek ) (1 January 1920 – 16 July 2014) was an Austrian computer pioneer who led the development, from 1954 to 1958, of one of the first complete transistorised computers on the European continent. The computer
18-681: The Vienna Lab, was founded in 1961 as a department of the IBM Laboratory in Böblingen , Germany, with Professor Zemanek as its first manager. Zemanek remained with the Vienna Lab until 1976, when he was appointed an IBM Fellow . He was crucial in the creation of the formal definition of the programming language PL/I . For several years, Zemanek had been a lecturer at the Vienna University of Technology , which features
24-463: The help of University of Stuttgart professor Richard Feldtkeller (1901–1981). After the war Zemanek worked as an assistant at the university and earned his PhD in 1951 about timesharing methods in multiplex telegraphy. In 1952 he completed the URR1 ( Universal Relais Rechner 1 , i.e., Universal Relay Computer 1 ). He died at the age of 94 on 16 July 2014. The IBM Laboratory Vienna , also known as
30-618: 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. 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. This article about an organisation in Austria
36-673: Was nicknamed Mailüfterl — Viennese for "May breeze" — in reference to Whirlwind , a computer developed at MIT between 1945 and 1951. Heinz Zemanek went to a secondary school in Vienna and earned his Matura in 1937. He then started to study at the University of Vienna . In 1940, Zemanek was drafted into the Wehrmacht , where he served in a "communication unit" and also as a teacher in an Intelligence Service School. Returning to studying radar technology he earned his Diplom in 1944 with
#558441