|
IFIP Working Group 2.1
IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (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 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'' as its language for algorithms, then an important part of the items pub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 1960 under the auspices of UNESCO, IFIP is recognised by the United Nations and links some 50 national and international societies and academies of science with a total membership of over half a million professionals. IFIP is based in Laxenburg, Austria and is an international, non-governmental organisation that operates on a non-profit basis. Overview IFIP activities are coordinated by 13 Technical Committees (TCs) which are organised into more than 100 Working Groups (WGs), bringing together over 3,500 ICT professionals and researchers from around the world to conduct research, develop standards and promote information sharing. Each TC covers a particular aspect of computing and related disciplines, as detailed below. IFIP actively prom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Niklaus Wirth
Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal (programming language), Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally recognized as the highest distinction in computer science, for developing a sequence of innovative computer languages. Biography Wirth was born in Winterthur, Switzerland, in 1934. In 1959, he earned a Bachelor of Science (B.S.) degree in electronic engineering from the Swiss Federal Institute of Technology Zürich (ETH Zürich). In 1960, he earned a Master of Science (MSc) from Université Laval, Canada. Then in 1963, he was awarded a PhD in Electrical Engineering and Computer Science (EECS) from the University of California, Berkeley, supervised by the computer design pioneer Harry Huskey. From 1963 to 1967, he served as assistant professor of computer science at Stanford University and again at the Univer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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'' (1993, with Fred B. Schneider). He was Associate Dean for Undergraduate Programs in the Cornell University College of Engineering from 2003–2011. His research interests include programming methodology and related areas such as programming languages, related semantics, and logic. His son, Paul Gries, has been a co-author of an introductory textbook to computer programming using the language Python and is a professor teaching Stream in the Department of Computer Science at the University of Toronto. Life Gries earned a Bachelor of Science (B.S.) from Queens College in 1960. He spent the next two years working as a programmer-mathematician for the U.S. Naval Weapons Laboratory, where he met his wife, Elaine. He earned a Master of Science ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jeremy Gibbons
Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford. Academic Professor Gibbons obtained a Bachelor of Science (BSc) (Hons) in computer science from the University of Edinburgh (1983–1987), and a Doctor of Philosophy (DPhil) in Computation from the University of Oxford (1987–1991). Before taking his current post, he was, first, lecturer in computer science, University of Auckland (1991–1996), next, lecturer and senior lecturer in computing, Oxford Brookes University (1996–1999), and then reader in software engineering at the University of Oxford. His research activities include programming languages and methods; functional programming; generic programming; object technology; program specification, derivation and transformation. His ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert W
The name Robert is an ancient Germanic given name, from Proto-Germanic "fame" and "bright" (''Hrōþiberhtaz''). Compare Old Dutch ''Robrecht'' and Old High German ''Hrodebert'' (a compound of '' Hruod'' ( non, Hróðr) "fame, glory, honour, praise, renown" and ''berht'' "bright, light, shining"). It is the second most frequently used given name of ancient Germanic origin. It is also in use as a surname. Another commonly used form of the name is Rupert. After becoming widely used in Continental Europe it entered England in its Old French form ''Robert'', where an Old English cognate form (''Hrēodbēorht'', ''Hrodberht'', ''Hrēodbēorð'', ''Hrœdbœrð'', ''Hrœdberð'', ''Hrōðberχtŕ'') had existed before the Norman Conquest. The feminine version is Roberta. The Italian, Portuguese, and Spanish form is Roberto. Robert is also a common name in many Germanic languages, including English, German, Dutch, Norwegian, Swedish, Scots, Danish, and Icelandic. It can be use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 research. Donald Knuth considers him to have independently co-discovered the idea of hashing with linear probing. He also created one of the first algorithms for compiling arithmetic expressions. He was responsible for the languages ''ALPHA'' and ''Rapira'', the first Soviet time-sharing system ''AIST-0'', electronic publishing system ''RUBIN'', and a multiprocessing workstation ''MRAMOR''. He also was the initiator of developing the ''Computer Bank of the Russian Language'' ( Машинный Фонд Русского Языка), the Soviet project for creating a large representative Russian corpus, a project in the 1980s comparable to the Bank of English and British National Corpus. The Russian National Corpus created by the Russian Academy o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 was a cofounder, CEO, and president of the AdaCore software company. He was also an enthusiastic amateur performer and musician, especially with the Village Light Opera Group in New York City. Early life and education Dewar was born in Oxford, England, one of two sons of the theoretical chemist Michael J. S. Dewar and Mary Dewar, née Williamson (d. 1994), a historian and scholar of English Tudor history. In 1959, he moved with his parents from England to Chicago, Illinois, when his father accepted a teaching job at the University of Chicago. Dewar attended the University of Chicago, earning a Bachelor of Science (B.S.) in 1964, and a Doctor of Philosophy (Ph.D.) in chemistry in 1968. He began to work with computers during graduat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stephen R
Stephen or Steven is a common English given name, first name. It is particularly significant to Christianity, Christians, as it belonged to Saint Stephen ( grc-gre, Στέφανος ), an early disciple and deacon who, according to the Book of Acts, was stoned to death; he is widely regarded as the first martyr (or "protomartyr") of the Christian Church. In English, Stephen is most commonly pronounced as ' (). The name, in both the forms Stephen and Steven, is often shortened to Steve or Stevie (given name), Stevie. The spelling as Stephen can also be pronounced which is from the Greek original version, Stephanos. In English, the female version of the name is Stephanie. Many surnames are derived from the first name, including Template:Stephen-surname, Stephens, Stevens, Stephenson, and Stevenson, all of which mean "Stephen's (son)". In modern times the name has sometimes been given with intentionally non-standard spelling, such as Stevan or Stevon. A common variant of the name ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Bird (computer Scientist)
Richard Simpson Bird (4 February 1943 – 4 April 2022) was a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England, and former director of the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford). Bird's research interests lay in algorithm design and functional programming, and he was known as a regular contributor to the ''Journal of Functional Programming'' and the author of ''Introduction to Functional Programming using Haskell'' and other books. His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from specifications in a functional programming style. Formerly, Bird was at the University of Reading. He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, supports, and maintains the programming languages ALGOL 60 and ALGOL 68 ALGOL 68 (s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Friedrich L
Friedrich may refer to: Names * Friedrich (surname), people with the surname ''Friedrich'' * Friedrich (given name), people with the given name ''Friedrich'' Other * Friedrich (board game), a board game about Frederick the Great and the Seven Years' War * ''Friedrich'' (novel), a novel about anti-semitism written by Hans Peter Richter * Friedrich Air Conditioning, a company manufacturing air conditioning and purifying products *, a German cargo ship in service 1941-45 See also * Friedrichs (other) * Frederick (other) * Nikolaus Friedreich {{disambig ja:フリードリヒ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 Thorntree district of Middlesbrough, an industrial town in the north-east of England. In 1959, he won a place at the then all-male Acklam Hall Grammar School before going on to Churchill College, Cambridge, in 1966. His doctorate (Ph.D.) was completed under the supervision of Jim Cunningham at Imperial College London. Career Backhouse's career has included Royal Aircraft Establishment (1969–1970), Heriot-Watt University (1973–1982), University of Essex (1982–1986). He was formerly Professor of Computer Science at the University of Groningen (1986–1990) and Eindhoven University of Technology (1990–1999) in the Netherlands, before his position at the University of Nottingham. He was a member of the International Federation for Informat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
