|
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). 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. 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. See also * IBM Research IBM Research is the research and development division for IBM, an America ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vienna
en, Viennese , iso_code = AT-9 , registration_plate = W , postal_code_type = Postal code , postal_code = , timezone = CET , utc_offset = +1 , timezone_DST = CEST , utc_offset_DST = +2 , blank_name = Vehicle registration , blank_info = W , blank1_name = GDP , blank1_info = € 96.5 billion (2020) , blank2_name = GDP per capita , blank2_info = € 50,400 (2020) , blank_name_sec1 = HDI (2019) , blank_info_sec1 = 0.947 · 1st of 9 , blank3_name = Seats in the Federal Council , blank3_info = , blank_name_sec2 = GeoTLD , blank_info_sec2 = .wien , website = , footnotes = , image_blank_emblem = Wien logo.svg , blank_emblem_size = Vienna ( ; german: Wien ; ba ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compiler Design
In computing, a compiler is a computer program that translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primarily used for programs that translate source code from a high-level programming language to a low-level programming language (e.g. assembly language, object code, or machine code) to create an executable program. Compilers: Principles, Techniques, and Tools by Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman - Second Edition, 2007 There are many different types of compilers which produce output in different useful forms. A ''cross-compiler'' produces code for a different CPU or operating system than the one on which the cross-compiler itself runs. A ''bootstrap compiler'' is often a temporary compiler, used for compiling a more permanent or better optimised compiler for a language. Related software include, a program that translates from a low-level language to a hi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science Institutes
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations ( computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These programs enable computers to perform a wide range of tasks. A computer system is a nominally complete computer that includes the hardware, operating system (main software), and peripheral equipment needed and used for full operation. This term may also refer to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems. Simple special-purpose devices like microwave ovens and remote controls are included, as are factory devices like industrial robots and computer-aided design, as well as general-purpose devices like personal computers and mobile devices like smartphones. Computers power the Internet, which l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science Research Organizations
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These programs enable computers to perform a wide range of tasks. A computer system is a nominally complete computer that includes the hardware, operating system (main software), and peripheral equipment needed and used for full operation. This term may also refer to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems. Simple special-purpose devices like microwave ovens and remote controls are included, as are factory devices like industrial robots and computer-aided design, as well as general-purpose devices like personal computers and mobile devices like smartphones. Computers power the Internet, which links bill ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Organizations With Year Of Disestablishment Missing
An organization or organisation (Commonwealth English; see spelling differences), is an entity—such as a company, an institution, or an association—comprising one or more people and having a particular purpose. The word is derived from the Greek word ''organon'', which means tool or instrument, musical instrument, and organ. Types There are a variety of legal types of organizations, including corporations, governments, non-governmental organizations, political organizations, international organizations, armed forces, charities, not-for-profit corporations, partnerships, cooperatives, and educational institutions, etc. A hybrid organization is a body that operates in both the public sector and the private sector simultaneously, fulfilling public duties and developing commercial market activities. A voluntary association is an organization consisting of volunteers. Such organizations may be able to operate without legal formalities, depending on jurisdiction, includi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Organizations With Year Of Establishment Missing
An organization or organisation (Commonwealth English; see spelling differences), is an entity—such as a company, an institution, or an association—comprising one or more people and having a particular purpose. The word is derived from the Greek word ''organon'', which means tool or instrument, musical instrument, and organ. Types There are a variety of legal types of organizations, including corporations, governments, non-governmental organizations, political organizations, international organizations, armed forces, charities, not-for-profit corporations, partnerships, cooperatives, and educational institutions, etc. A hybrid organization is a body that operates in both the public sector and the private sector simultaneously, fulfilling public duties and developing commercial market activities. A voluntary association is an organization consisting of volunteers. Such organizations may be able to operate without legal formalities, depending on jurisdiction, includ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IBM Research
IBM Research is the research and development division for IBM, an American multinational information technology company headquartered in Armonk, New York, with operations in over 170 countries. IBM Research is the largest industrial research organization in the world and has twelve labs on six continents. IBM employees have garnered six Nobel Prizes, six Turing Awards, 20 inductees into the U.S. National Inventors Hall of Fame, 19 National Medals of Technology, five National Medals of Science and three Kavli Prizes. , the company has generated more patents than any other business in each of 25 consecutive years, which is a record. History The roots of today's IBM Research began with the 1945 opening of the Watson Scientific Computing Laboratory at Columbia University. This was the first IBM laboratory devoted to pure science and later expanded into additional IBM Research locations in Westchester County, New York, starting in the 1950s,Beatty, Jack, (editor''Colussus: how ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Lucas (computer Scientist)
Peter Lucas (13 January 1935 in Vienna, Austria – 2 February 2015 in California, United States) was an Austrian computer scientist and university professor. Life Peter Lucas graduated in 1953 and then studied telecommunications at the Vienna University of Technology. He completed his studies in 1959 with a diploma thesis on the topic of programming electronic calculating machines. Then he was a member of Heinz Zemanek's group and was responsible for the system programming of Mailüfterl, the first fully transistorized computer in continental Europe.''OCG-Journal 1/2015: Nachruf auf Peter Lucas'' Journal der Österreichischen Comp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cliff Jones (computer Scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. Prior to his DPhil, Jones worked for IBM, between the Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas, Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs. Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He has been editor-in-chief of the ''Formal Aspe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dines Bjørner
__NOTOC__ Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. Bjørner was a professor at the Technical University of Denmark (DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the United Nations University International Institute for Software Technology ( UNU-IIST), Macau, in 1992 and was its first director. His ''magnum opus'' on software engineering (three volumes) appeared in 2005/6. To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vienna Development Method
The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science. Philosophy Computing systems may be modeled in VDM-SL at a higher level of abstraction than is achievable using ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
