IFIP Working Group 2.1
   HOME

TheInfoList



OR:

IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the
International Federation for Information Processing The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 196 ...
(IFIP). IFIP WG 2.1 was formed as the body responsible for the continued support and maintenance of the programming language ALGOL 60. The ''Modified Report on the Algorithmic Language ALGOL 60'' and the
ALGOL 68 ALGOL 68 (short for ''Algorithmic Language 1968'') is an imperative programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously d ...
programming language were produced by WG 2.1. , its scope is: * Study of calculation of programs from specifications * Design of notations for such calculation * Formulation of algorithm theories, using such notations * Investigation of software support for program derivation * Continuing responsibility for ALGOL 60 and ALGOL 68


History


Formation

Soon after the publication of the original ''ALGOL 60 Report'' in 1960, issues arose that needed some form of authoritative resolution. ALGOL 60 had been chosen by leading scientific journal ''
Communications of the ACM ''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers with ...
'' as its language for
algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific problems or to perform a computation. Algorithms are used as specifications for performing ...
s, then an important part of the items published in the ''Communications''. Computer manufacturers and academic groups were laboring to produce implementations. There were issues that needed clarification, such as ambiguities and errors in the ''Report''. Another urgent issue was the absence of even basic
input/output In computing, input/output (I/O, or informally io or IO) is the communication between an information processing system, such as a computer, and the outside world, possibly a human or another information processing system. Inputs are the signals ...
(I/O) facilities. The authors of the ''ALGOL 60 Report'' met in
Rome , established_title = Founded , established_date = 753 BC , founder = King Romulus (legendary) , image_map = Map of comune of Rome (metropolitan city of Capital Rome, region Lazio, Italy).svg , map_caption ...
,
Italy Italy ( it, Italia ), officially the Italian Republic, ) or the Republic of Italy, is a country in Southern Europe. It is located in the middle of the Mediterranean Sea, and its territory largely coincides with the homonymous geographical ...
, in April 1962 to resolve most of the ambiguities and errors known at the time, resulting in the ''Revised Report on the Algorithmic Language ALGOL 60''. During that meeting, the authors decided to institutionalize the responsibility for the continued support and maintenance of ALGOL 60 by transferring it to the young international IFIP organization. To this end, IFIP established a working group under its Technical Committee 2 on Programming. The initial membership consisted largely of most of the original authors, with the addition of several members responsible for ALGOL 60 implementations. IFIP WG 2.1 held its first meeting in August 1962 in
Munich Munich ( ; german: München ; bar, Minga ) is the capital and most populous city of the German state of Bavaria. With a population of 1,558,395 inhabitants as of 31 July 2020, it is the third-largest city in Germany, after Berlin and Ha ...
,
Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...
.


ALGOL 68

When ALGOL 60 was designed, its intended scope of use was similar to that of FORTRAN: largely the field of
numerical analysis Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of numerical methods ...
or computing. IFIP WG 2.1 embarked on the design of a successor to the ALGOL 60 programming language, code-named
ALGOL X ALGOL X was the code name given to a programming language which was being developed as a successor to ALGOL 60, by the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which ...
, with a much wider application scope, including nonnumerical programming, areas better served by languages like COBOL and Lisp than by ALGOL 60. Among several competing initial designs, including a proposal by
Niklaus Wirth Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally ...
that eventually led to
ALGOL W ALGOL W is a programming language. It is based on a proposal for ALGOL X by Niklaus Wirth and Tony Hoare as a successor to ALGOL 60. ALGOL W is a relatively simple upgrade of the original ALGOL 60, adding string, bitstring, complex number and ...
, the Working Group chose that by Aad van Wijngaarden, ultimately leading to
ALGOL 68 ALGOL 68 (short for ''Algorithmic Language 1968'') is an imperative programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously d ...
. IFIP WG 2.1 decided to adopt the design in December 1968 during a stormy meeting, once again held in Munich. However, there was considerable opposition among the members, led by
Edsger Dijkstra Edsger Wybe Dijkstra ( ; ; 11 May 1930 – 6 August 2002) was a Dutch computer scientist, programmer, software engineer, systems scientist, and science essayist. He received the 1972 Turing Award for fundamental contributions to developing progra ...
, expressed in a ''Minority Report''. This led to a split in the group and the formation of a new working group, IFIP Working Group 2.3 on Programming Methodology.


Notable members, former and current

WG 2.1 has, and has had, many members. Some are the subject of Wikipedia articles: *
Roland Carl Backhouse Roland Carl Backhouse (born 18 August 1948) is a British computer scientist and mathematician. , he is Emeritus Professor of Computing Science at the University of Nottingham. Early life and education Backhouse was born and raised in the Thorn ...
*
Friedrich L. Bauer Friedrich Ludwig "Fritz" Bauer (10 June 1924 – 26 March 2015) was a German pioneer of computer science and professor at the Technical University of Munich. Life Bauer earned his Abitur in 1942 and served in the Wehrmacht during World War ...
* Richard Bird * Stephen R. Bourne *
Robert Dewar Robert Berriedale Keith Dewar (21 June 1945 – 30 June 2015) was an American computer scientist and educator. He helped to develop programming languages and compilers and was an outspoken advocate of freely licensed open-source software. He wa ...
* Edsger W. Dijkstra *
Andrey Ershov Andrey Petrovich Yershov (russian: Андре́й Петро́вич Ершо́в; 19 April 1931, Moscow – 8 December 1988, Moscow) was a Soviet computer scientist, notable as a pioneer in systems programming and programming language researc ...
* Robert W. Floyd * Jeremy Gibbons *
David Gries David Gries (born April 26, 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States mainly known for his books ''The Science of Programming'' (1981) and ''A Logical Approach to Discrete Math' ...
*
Eric Hehner The given name Eric, Erich, Erikk, Erik, Erick, or Eirik is derived from the Old Norse name ''Eiríkr'' (or ''Eríkr'' in Old East Norse due to monophthongization). The first element, ''ei-'' may be derived from the older Proto-Norse ''* ain ...
*
Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and ...
*
Charles Katz Charles Katz (born in 1927) is an American mathematician and computer scientist known for his contributions to early compiler development in the 1950s. He received two degrees in mathematics, a Bachelor of Science (B.S.) at Temple University i ...
* Cornelis H. A. Koster *
Peter Landin Peter John Landin (5 June 1930 – 3 June 2009) was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of bo ...
* Charles H. Lindsey * Yanhong Annie Liu * Peter Lucas * Conor McBride * John McCarthy * Tom Maibaum * Barry J. Mailloux * Lambert Meertens *
Carroll Morgan Carroll Morgan may refer to: * Carroll Morgan (boxer) * Carroll Morgan (computer scientist) Charles ''Carroll'' Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (h ...
*
Peter Naur Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and Turing award winner. He is best remembered as a contributor, with John Backus, to the Backus–Naur form (BNF) notation used in describing the syntax for m ...
*
Maurice Nivat Maurice Paul Nivat (21 December 1937 – 21 September 2017) was a French computer scientist. His research in computer science spanned the areas of formal languages, programming language semantics, and discrete geometry. A 2006 citation for an ho ...
* Manfred Paul * John E. L. Peck * Willem van der Poel *
Brian Randell Brian Randell (born 1936) is a British computer scientist, and Emeritus Professor at the School of Computing, Newcastle University, United Kingdom. He specialises in research into software fault tolerance and dependability, and is a noted aut ...
* Douglas T. Ross *
Heinz Rutishauser Heinz Rutishauser (30 January 1918 – 10 November 1970) was a Swiss mathematician and a pioneer of modern numerical mathematics and computer science. Life Rutishauser's father died when he was 13 years old and his mother died three years lat ...
*
Klaus Samelson Klaus Samelson (21 December 1918 – 25 May 1980) was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for sequential formula translation on computers. Early ...
*
Jacob T. Schwartz __NOTOC__ Jacob Theodore "Jack" Schwartz (January 9, 1930 – March 2, 2009) was an American mathematician, computer scientist, and professor of computer science at the New York University Courant Institute of Mathematical Sciences. He was the ...
*
Micha Sharir Micha Sharir ( he, מיכה שריר; born 8 June 1950 in Tel Aviv, Israel) is an Israeli mathematician and computer scientist. He is a professor at Tel Aviv University, notable for his contributions to computational geometry and combinatorial geo ...
*
Michel Sintzoff Michel Sintzoff (12 August 1938 – 28 November 2010) was a Belgian mathematician and computer scientist. He was one of the editors of the Revised Report on the Algorithmic Language Algol 68. He was a member of the International Federation for I ...
* David Turner * Eiiti Wada * Joseph Henry Wegstein *
Adriaan van Wijngaarden Adriaan "Aad" van Wijngaarden (2 November 1916 – 7 February 1987) was a Dutch mathematician and computer scientist. Trained as an engineer, Van Wijngaarden would emphasize and promote the mathematical aspects of computing, first in numerical an ...
*
Niklaus Wirth Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally ...
* Mike Woodger *
Nobuo Yoneda was a Japanese mathematician and computer scientist. In 1952, he graduated the Department of Mathematics, the Faculty of Science, the University of Tokyo, and obtained his Bachelor of Science. That same year, he was appointed Assistant Profess ...


See also

* *


References


External links

{{ALGOL programming Algol programming language family International Federation for Information Processing