|
List Of Programming Language Researchers
The following is list of researchers of programming language theory, design, implementation, and related areas. A * Martín Abadi, for the programming language Baby Modula-3 and his book (with Luca Cardelli) ''A Theory of Objects'' * Samson Abramsky, contributions to the areas of the lazy lambda calculus and concurrency theory and co-editing the 6 Volume ''Handbook of Logic in Computer Science'' * Jean-Raymond Abrial, father of the Z notation, targeted at the clear specification of computer programs and computer-based systems in general * Vikram Adve, the 2012 ACM Software System Award for LLVM, a set of compiler and toolchain technologies * Gul Agha, elected as an ACM Fellow in 2018 for ''research in concurrent programming and formal methods, specifically the Actor Model'' * Alfred Aho, the A of AWK, 2020 Turing Award for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results ...highly influential books ... * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Language Theory
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area. History In some ways, the history of programming language theory predates even the development of programming languages themselves. The lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the world's first programming language, even though it was intended to ''model'' computation rather than being a means for programmers to ''describe'' algorithms to a computer system. Many modern functional programming languages have been described as providing a "thin veneer" over the lambda calculus, and many are easily described in te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gul Agha (computer Scientist)
Gul Agha (گُل آغا) is a professor of computer science at the University of Illinois at Urbana-Champaign, and director of the Open Systems Laboratory. He is known for his work on the actor model of concurrent computing, concurrent computation, and was also Editor-in-Chief of ''ACM Computing Surveys'' from 1999 to 2007. Agha was born and completed his early schooling in Sindh, Pakistan. Agha completed his B.S. with honors at the California Institute of Technology in the year 1977.Dunya, S. Gul Agha: The Talented Computer Scientist of Sindh. Feb 26, 2016. Sindhi Dunya: Voice of Sindh Culture. Accessed September 20, 2017 He received his Doctor of Philosophy, Ph. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ralph-Johan Back
Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, ''On the Correctness of Refinement Steps in Program Development''. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere. Since 1983, he has been Professor of Computer Science at the Åbo Akademi University in Turku. For 2002–2007, he was an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi. Back is a member of Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MAD (programming Language)
MAD (Michigan Algorithm Decoder) is a programming language and compiler for the IBM 704 and later the IBM 709, IBM 7090, IBM 7040, UNIVAC 1107, UNIVAC 1108, Philco 210-211, and eventually the IBM S/370 mainframe computers. Developed in 1959 at the University of Michigan by Bernard Galler, Bruce Arden and Robert M. Graham, MAD is a variant of the ALGOL language. It was widely used to teach programming at colleges and universities during the 1960s and played a minor role in the development of CTSS, Multics, and the Michigan Terminal System computer operating systems. The archives at the Bentley Historical Library of the University of Michigan contain reference materials on the development of MAD and MAD/I, including three linear feet of printouts with hand-written notations and original printed manuals. MAD, MAD/I, and GOM There are three MAD compilers: # Original MAD, the compiler developed in 1959 at the University of Michigan for the IBM 704 and later the IBM 709 and IBM ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IBM 650
The IBM 650 Magnetic Drum Data-Processing Machine is an early digital computer produced by IBM in the mid-1950s. It was the first mass produced computer in the world. Almost 2,000 systems were produced, the last in 1962, and it was the first computer to make a meaningful profit. The first one was installed in late 1954 and it was the most-popular computer of the 1950s. The 650 was marketed to business, scientific and engineering users as a general-purpose version of the IBM 701 and IBM 702 computers which were for scientific and business purposes respectively. It was also marketed to users of unit record equipment, punched card machines who were upgrading from Unit record equipment#Calculating, calculating punches, such as the IBM 604, to computers. Because of its relatively low cost and ease of Computer programming, programming, the 650 was used to pioneer a wide variety of applications, from modeling submarine crew performance to teaching high school and college students c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bruce Arden
Bruce Wesley Arden ( – ) was an American computer scientist. Arden enlisted in the U.S. Navy during World War II (1944-1946) as a Radar Technician Third Class in California, Chicago, and Kodiak, Alaska. He graduated from Purdue University Purdue University is a public land-grant research university in West Lafayette, Indiana, and the flagship campus of the Purdue University system. The university was founded in 1869 after Lafayette businessman John Purdue donated land and money ... with a BS(EE) in 1949 and started his computing career in 1950 with the wiring and programming of IBM, IBM's hybrid computer, hybrid (mechanical and electronic) IBM CPC, Card Programmed Computer/Calculator at the Detroit Diesel, Allison Division of General Motors. Next he spent a short period as a programmer for computations being done at the University of Michigan, University of Michigan's Willow Run Laboratory using the SEAC (computer), Standards Eastern Automatic Computer. He then became ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Programming
Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of ''clauses'': :H :- B1, …, Bn. and are read declaratively as logical implications: :H if B1 and … and Bn. H is called the ''head'' of the rule and B1, ..., Bn is called the ''body''. Facts are rules that have no body, and are written in the simplified form: :H. In the simplest case in which H, B1, ..., Bn are all atomic formulae, these clauses are called definite clauses or Horn clauses. However, there are many extensions of this simple case, the most important one being the case in which conditions in the body of a clause can also be negations of atomic formulas. Logic programming languag ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krzysztof R
Krzysztof () is a Polish given name, equivalent to English '' Christopher''. The name became popular in the 15th century. Its diminutive forms include Krzyś, Krzysiek, and Krzysio; augmentative – Krzychu Individuals named Krzysztof may choose to celebrate their name day on March 15, July 25, March 2, May 21, August 20 or October 31. People with the first name Krzysztof * Krzysztof Arciszewski (1592–1656), Polish military man * Krzysztof Bednarski (born 1953), famous contemporary Polish sculptor * Krzysztof Bizacki (born 1973), Polish footballer * Krzysztof Bukalski (born 1970), Polish footballer * Krzysztof Charamsa (born 1972), Polish priest * Krzysztof Chodkiewicz, d. 1652, Polish-Lithuanian nobleman * Krzysztof Cwalina (born 1971), Polish freestyle swimmer * Krzysztof Czerwinski (Krzysztof Czerwiński) (born 1980), Polish conductor, organist and voice teacher * Krzysztof Dabrowski (Krzysztof Dąbrowski) (born 1978), Polish footballer * Krzysztof Głowacki (born 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andrew Appel
Andrew Wilson Appel (born 1960) is the Eugene Higgins Professor of computer science at Princeton University. He is especially well-known because of his compiler books, the ''Modern Compiler Implementation in ML'' () series, as well as ''Compiling With Continuations'' (). He is also a major contributor to the Standard ML of New Jersey compiler, along with David MacQueen, John H. Reppy, Matthias Blume and others and one of the authors of ''Rog-O-Matic''. Biography Andrew Appel is the son of mathematician Kenneth Appel, who proved the Four-Color Theorem in 1976. Appel graduated summa cum laude with an A.B. in physics from Princeton University in 1981 after completing a senior thesis, titled "Investigation of galaxy clustering using an asymptotically fast N-body algorithm", under the supervision of Nobel laureate James Peebles. He later received a Ph.D. (computer science) at Carnegie-Mellon University, in 1985. He became an ACM Fellow in 1998, due to his research of programming l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frances Allen
Frances Elizabeth Allen (August 4, 1932August 4, 2020) was an American computer scientist and pioneer in the field of optimizing compilers. Allen was the first woman to become an IBM Fellow, and in 2006 became the first woman to win the Turing Award. Her achievements include seminal work in compilers, program optimization, and parallelization. She worked for IBM from 1957 to 2002 and subsequently was a Fellow Emerita. Early life and education Allen grew up on a farm in Peru, New York, near Lake Champlain, as the oldest of six children. Her father was a farmer, and her mother an elementary schoolteacher. Her early elementary education took place in a one-room school house a mile away from her home, and she later attended a local high school. She graduated from The New York State College for Teachers (now part of the University at Albany, SUNY) with a Bachelor of Science degree in mathematics in 1954 and began teaching school in Peru, New York. After two years, she enrolled at ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Turing Award
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in computer science and is colloquially known as or often referred to as the " Nobel Prize of Computing". The award is named after Alan Turing, who was a British mathematician and reader in mathematics at the University of Manchester. Turing is often credited as being the key founder of theoretical computer science and artificial intelligence. From 2007 to 2013, the award was accompanied by an additional prize of US$250,000, with financial support provided by Intel and Google. Since 2014, the award has been accompanied by a prize of US$1 million, with financial support provided by Google. The first recipient, in 1966, was Alan Perlis, of Carnegie Mellon University. The first female recipient was Frances E. Allen of IBM in 2006. The latest reci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Turing Award")