Top Qs
Timeline
Chat
Perspective

List of programming language researchers

From Wikipedia, the free encyclopedia

Remove ads

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, 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 ...
  • 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[1] 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)
Remove ads

B

Remove ads

C

D

Remove ads

E

F

Remove ads

G

Remove ads

H

Remove ads

I

J

Remove ads

K

Remove ads

L

M

N

O

P

R

S

T

U

  • Jeffrey Ullman, the 2020 Turing Award for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results, highly influential books.
  • David Ungar, the 2009 AITO Dahl–Nygaard Prize, his work on Self has had a profound effect on the field by introducing the advanced adaptive compiling technology that made the widespread industrial use of Java possible

V

W

Y

Z

See also

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads