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 and the B-Method, targeted at the clear specification and refinement of computer programs and computer-based systems in general Vikram Adve, 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 in influential books Frances Allen, the 2006 Turing Award for pioneering contributions to the theory and practice of optimizing compiler techniques Andrew Appel, especially well known because of his compiler books, the Modern Compiler Implementation in ML (ISBN 0-521-58274-1) series, as well as Compiling With Continuations (ISBN 0-521-41695-7) Krzysztof R. Apt, the use of logic as a programming language Bruce Arden, co-authored two compilers, GAT for the IBM 650 and MAD Arvind, see Arvind Mithal Lennart Augustsson, languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front end, Bluespec SystemVerilog early) == B == Ralph-Johan Back, originated the refinement calculus, used in the formal development of programs using stepwise refinement Roland Backhouse, work on the mathematics of program construction and algorithm problem solving; books on Syntax of Programming Languages, Program Construction and Verification, and more John Backus, the 1977 Turing Award for profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages George N. Baird, the 1974 Grace Murray Hopper Award for his \development and implementation of the Navy's COBOL Compiler Validation System Lars Bak, the 2018 AITO Dahl–Nygaard Prize for pioneering work in pointer-safe object-orientation and leading the implementation of Beta, Self, Strongtalk, Java Hotspot, ..., the ACM SIGPLAN 2016 PL Software Award for V8 JavaScript Henri Bal, programming languages for distributed systems, e.g.

Source: Wikipedia — List of programming language researchers (CC BY-SA 4.0)

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 and the B-Method, targeted at the clear specification and refinement of computer programs and computer-based systems in general Vikram Adve, 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 in influential books Frances Allen, the 2006 Turing Award for pioneering contributions to the theory and practice of optimizing compiler techniques Andrew Appel, especially well known because of his compiler books, the Modern Compiler Implementation in ML (ISBN 0-521-58274-1) series, as well as Compiling With Continuations (ISBN 0-521-41695-7) Krzysztof R. Apt, the use of logic as a programming language Bruce Arden, co-authored two compilers, GAT for the IBM 650 and MAD Arvind, see Arvind Mithal Lennart Augustsson, languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front end, Bluespec SystemVerilog early) == B == Ralph-Johan Back, originated the refinement calculus, used in the formal development of programs using stepwise refinement Roland Backhouse, work on the mathematics of program construction and algorithm problem solving; books on Syntax of Programming Languages, Program Construction and Verification, and more John Backus, the 1977 Turing Award for profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages George N. Baird, the 1974 Grace Murray Hopper Award for his \development and implementation of the Navy's COBOL Compiler Validation System Lars Bak, the 2018 AITO Dahl–Nygaard Prize for pioneering work in pointer-safe object-orientation and leading the implementation of Beta, Self, Strongtalk, Java Hotspot, ..., the ACM SIGPLAN 2016 PL Software Award for V8 JavaScript Henri Bal, programming languages for distributed systems, e.g.

Source: Wikipedia "List of programming language researchers" · CC BY-SA 4.0

Share this article: X · Bluesky
Privacy Policy