List of programming language researchers

Last updated

The following is list of researchers of programming language theory, design, implementation, and related areas.

Contents

This is a dynamic list and may never be able to satisfy particular standards for completeness. You can help by adding missing items with reliable sources.

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

R

S

T

U

V

W

Y

Z

See also

References

  1. 1 2 Arden, B.; Graham, R. (1959). "On GAT and the construction of translators". Communications of the ACM. 2 (7): 24. doi: 10.1145/368370.368373 . S2CID   6703069.
  2. 1 2 3 4 5 6 7 8 9 10 11 12 13 "Programming Languages Software Award". ACM SIGPLAN . Retrieved 2022-08-29.
  3. ↑ Bal, Henri E.; Kaashoek, M. Frans; Tanenbaum, Andrew S. (1992). "Orca: A language for parallel programming of distributed systems". IEEE Transactions on Software Engineering . 18 (3). IEEE: 190–205. doi:10.1109/32.126768. S2CID   1513191.
  4. 1 2 Samelson, Klaus; Bauer, Friedrich Ludwig (February 1960). "Sequential Formula Translation". Communications of the ACM. 3 (2): 76–83. doi: 10.1145/366959.366968 . S2CID   16646147.
  5. 1 2 "AITO Dahl–Nygaard Prize Winners". Association Internationale pour les Technologies Objets. 2014. Retrieved 2022-08-21.
  6. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 "Programming Languages AchievementAward". Sigplan.org. Retrieved 2022-08-30.
  7. ↑ "ACM-AAAI Allen Newell Award". ACM . Retrieved 2022-09-07.
  8. ↑ "Jeremy Gibbons: publications". University of Oxford . Retrieved 2022-09-05.
  9. ↑ "NAE members directory". NAE. 1993. Retrieved 2022-08-20.
  10. ↑ Gries, David (1971). Compiler Construction for Digital Computers (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: John Wiley and Sons. ISBN   0-471-32776-X. The first text on compiler writing.
  11. ↑ "IBM Punch cards on which the book was written are in the Stanford Museum" . Retrieved 11 July 2022.
  12. ↑ Gries, David; Levin, Gary (October 1980). "Assignment and procedure call proof rules". ACM Transactions on Programming Languages and Systems . 2 (4): 564–579. doi: 10.1145/357114.357119 . S2CID   2639439.
  13. ↑ The Design and Implementation of Programming Languages (PDF), University of Oxford, July 1983, retrieved September 7, 2022
  14. ↑ Jones, C.B. (June 1981). Development Methods for Computer Programs including a Notion of Interference (PDF) (DPhil thesis). Oxford University.
  15. ↑ Gilles Kahn and David MacQueen (1976). Coroutines and Networks of Parallel Processes (Report). INRIA.
  16. ↑ Kenneth C. Knowlton (1966), "A programmer's description of L6", CACM, 9 (8): 616–625, doi: 10.1145/365758.365792 , S2CID   43669187
  17. 1 2 3 4 "Robin Milner Young Researcher Award". SIGPLAN. 2021. Retrieved 2022-08-23.
  18. ↑ Bruce Leasure (2011). "Parafrase". In Padua, D. (ed.). Encyclopedia of Parallel Computing. Springer, Boston, MA. pp. 1407–1409. doi:10.1007/978-0-387-09766-4_434. ISBN   978-0-387-09765-7.
  19. ↑ PLDI is short for Programming Language Design and Implementation
  20. ↑ "Most Influential PLDI Paper Award". SIGPLAN . Retrieved 2022-08-21.
  21. ↑ Lindsey, C. H. (1996). "A History of ALGOL 68". In Bergin, T. J.; Gibson, R. G. (eds.). History of Programming Languages-II . ACM Press. ISBN   0-201-89502-1.
  22. ↑ Liu, Yanhong Annie (January 1996). Incremental Computation: A Semantics-Based Systematic Transformational Approach (PhD thesis). Cornell University. hdl:1813/7208 . Retrieved 2022-09-08.
  23. ↑ Yanhong Annie Liu (2013). Systematic Program Design: From Clarity to Efficiency. Cambridge University Press. ISBN   978-1-107-61079-8.
  24. 1 2 3 4 5 "Most Influential POPL Paper Award". ACM SIGPLAN . Retrieved 2022-08-29.
  25. ↑ Natural Programming project, archived from the original on 2022-10-25, retrieved 2022-11-11
  26. ↑ Owicki, Susan; Lamport, Leslie (July 1982). "Proving liveness properties of concurrent programs". ACM Transactions on Programming Languages and Systems. 9 (3): 455–495. doi: 10.1145/357172.357178 . S2CID   17838416.
  27. ↑ Brian Randell; Lawford John Russell (1964). Algol 60 Implementation (PDF). Academic Press. ISBN   0-12-578150-4.{{cite book}}: ISBN / Date incompatibility (help)
  28. ↑ "The Proteus System for the Development of Parallel Applications". Kestrel Institute. 1994. Retrieved 2022-08-23.
  29. 1 2 Teitelbaum, T.; T. Reps (September 1981). "The Cornell Program Synthesizer: A syntax-directed programming environment". Communications of the ACM. 24 (9): 563–573. doi: 10.1145/358746.358755 . S2CID   14317073.
  30. ↑ O.C., Chesley; Ren, X.; Ryder, Barbara G. (26 September 2005). Crisp: a debugging tool for Java programs. 21st IEEE International Conference on Software Maintenance (ICSM'05). IEEE. pp. 712–734. doi:10.1109/ICSM.2005.37.
  31. ↑ Wei, Shiyi; Ryder, Barbara G. (2015). Boyland, John Tang (ed.). Adaptive context-sensitive analysis for JavaScript. 29th European Conference on Object-Oriented Programming (ECOOP 2015). Vol. 37. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. pp. 712–734. Retrieved 2022-08-23.
  32. ↑ Schneider, Fred B. (September 1997). On concurrent programming. Texts in Computer Science. Springer Verlag, Berlin, Heidelberg. p. 473. doi:10.1007/978-1-4612-1830-2. ISBN   978-0-387-94942-0. S2CID   9980317.
  33. ↑ Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan (October 2019). Stephen N. Freund; Eran Yahav (eds.). "Safer smart contract programming with Scilla". Proceedings of the ACM on Programming Languages. 3 (OOPSLA). ACM: 1–30. doi: 10.1145/3360611 . S2CID   203577198.
  34. ↑ Sutherland, William Robert (January 1966). The on-line graphical specification of computer procedures (PhD thesis). MIT. hdl:1721.1/13474 . Retrieved 2022-08-25.
  35. ↑ Cardelli, Luca; Wegner, Peter (December 1985). "On understanding types, data abstraction, and polymorphism" (PDF). ACM Computing Surveys . 17 (4): 471–523. CiteSeerX   10.1.1.117.695 . doi:10.1145/6041.6042. ISSN   0360-0300. S2CID   2921816.
  36. ↑ Widom, Jennifer (1987). Trace-based network proof systems: expressiveness and completeness (concurrency) (PhD thesis). Cornell University. Retrieved 21 August 2022.
  37. ↑ Liskov, Barbara H.; Wing, Jeannette (November 1994). "A behavioral notion of subtyping". ACM Transactions on Programming Languages and Systems . 16 (6): 1811–1841. doi: 10.1145/197320.197383 . S2CID   999172.
  38. ↑ Yates, David (Spring 2010). "Pioneer Profile: Michael Woodger". Computer Resurrection – the Bulletin of the Computer Conservation Society. Vol. 50.
  39. ↑ "Andrei Petrovich Ershov" (PDF). IEEE Computer Society.
  40. ↑ — (September 1973). "Reversible execution". CACM . 16 (9): 566. doi: 10.1145/362342.362360 . S2CID   24277687.
  41. ↑ — (January 1981). "Implementation of language enhancements". Computer Languages. 6 (3–4): 139–153. doi:10.1016/0096-0551(81)90026-6.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.