|
IFIP WG 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 publi ... [...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 14 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 pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Niklaus Wirth
Niklaus Emil Wirth ( IPA: ) (15 February 1934 – 1 January 2024) was a Swiss computer scientist. He designed several programming languages, including 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". Early life and education Niklaus Emil Wirth was born in Winterthur, Switzerland, on 15 February 1934. He was the son of Hedwig (née Keller) and Walter Wirth, a high school teacher. Wirth studied electronic engineering at the Federal Institute of Technology, Zürich (ETH Zürich) from 1954 to 1958, graduating with a Bachelor of Science (B.S.) degree. In 1960, he earned a Master of Science (M.Sc.) from Université Laval in Quebec. Then in 1963, he was awarded a PhD in electrical engineering and computer science (EECS) from the University of California, Berkeley, supervised by computer design pione ... [...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 cu ... [...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'' () "fame, glory, honour, praise, renown, godlike" and ''berht'' "bright, light, shining"). It is the second most frequently used given name of ancient Germanic origin.Reaney & Wilson, 1997. ''Dictionary of English Surnames''. Oxford University Press. It is also in use as a surname. Another commonly used form of the name is Rupert. After becoming widely used in Continental Europe, the name 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 En ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andrey Ershov
Andrey Petrovich Yershov (; 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 of Sciences in the 2000s is a successor of Yershov's ... [...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 graduate school. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Darlington
John Darlington is a British academic, researcher and author. He is an emeritus professor at Imperial College London. He was director of the London e-Science Centre and was head of the Functional Programming and Social Computing Sections at Imperial. Darlington is known for the early work he did on program transformation and functional programming. In his thesis in 1972, Darlington popularized the idea of program transformation, i.e. manipulating programs into alternative forms, preserving their semantics while altering their operational characteristics. Early life and education Darlington completed his B.Sc. (Econ) in 1969 from the London School of Economics and his Ph.D. in Artificial Intelligence from the Department of Machine Intelligence at the University of Edinburgh in 1973. He was a research fellow at the Edinburgh University from 1973 to 1977. Later he was a visiting research fellow at IBM Yorktown Heights and the Stanford Research Institute. Career In 1977, Darling ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stephen R
Stephen or Steven is an English first name. It is particularly significant to Christians, as it belonged to Saint Stephen ( ), 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. The name, in both the forms Stephen and Steven, is often shortened to Steve or Stevie. In English, the female version of the name is Stephanie. Many surnames are derived from the first name, including 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 used in English is Stephan ( ); related names that have found some currency or significance in English include Stefan (pronounced or in English), Esteban (often pronounced ), and the Shakespearean Stephano ( ). Origins The name "Stephen" (and it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Bird (computer Scientist)
Richard Simpson Bird (13 February 1943 – 4 April 2022) was an English computer scientist. Posts He 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). Formerly, Bird was at the University of Reading. Research interests 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 as author of several books promoting use of the programming language Haskell, including ''Introduction to Functional Programming using Haskell'', ''Thinking Functionally with Haskell'', ''Algorithm Design with Haskell'' co-authored with Jeremy Gibbons, and other books on related topics. His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from specifications in a functiona ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Friedrich L
Friedrich may refer to: Names *Friedrich (given name), people with the given name ''Friedrich'' *Friedrich (surname), people with the surname ''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 Nikolaus Friedreich (1 July 1825 in Würzburg – 6 July 1882 in Heidelberg) was a German pathologist and neurologist, and a third generation physician in the Friedreich family. His father was psychiatrist Johann Baptist Friedreich (1796–18 ... {{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] |
