computer science

List of programming language researchers

List of programming language researchers is a computer science topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand List of programming language researchers rather than just read about it. In short: 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 th…

Key takeaways

List of programming language researchers belongs to computer science; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect List of programming language researchers to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of List of programming language researchers from memory before moving on to harder problems.

Reference excerpt

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. Orca Friedrich L. Bauer, proposed the stack method of expression evaluation, member of the ALGOL 60 Committee, see also Kent Beck, a leading proponent of test-driven development (TDD), pioneered software design patterns, and co-wrote JUnit for Java Jeff Bezanson, the 2019 J. H. Wilkinson Prize for Numerical Software for the co-development of the Julia language Dines Bjørner, the Vienna Development Method (VDM), the Raise specification language Daniel Bobrow, 1992 ACM Software System Award for the IDE named Interlisp Corrado Böhm, defined Böhm's language, the first meta-circular evaluator, contributed the structured program theorem Grady Booch, developer of Unified Modeling Language (UML) Kathleen Booth, designed and developed first assembly language Stephen R. Bourne, developed ALGOL 68C, member IFIP Working Group 2.1 on Algorithmic Languages and Calculi Gilad Bracha, the 2017 AITO Dahl–Nygaard Prize for outstanding work on many topics relevant to OO, including mixins, Java generics, Strongtalk, and Newspeak Larry Breed, 1973 Grace Murray Hopper Award for designing and implementing APL\360 Walter Bright, designer of D Per Brinch Hansen (surname "Brinch Hansen"), the IEEE Computer Society 2002 Computer Pioneer Award for ... Concurrent Pascal Kim Bruce, the 2021 AITO Dahl–Nygaard Prize for ... programming language theory and design in general and object orientation specifically Margaret Burnett, pioneering contributions to visual programming languages Rod Burstall, languages COWSEL (renamed POP-1), POP-2, NPL, Hope; ACM SIGPLAN 2009 PL Achievement Award Richard Burton, the 1992 ACM Software System Award for the IDE called Interlisp

C Luca Cardelli, research in type theory and operational semantics, helped develop Modula-3 and Polyphonic C#, first compiler for ML, the 2007 AITO Dahl–Nygaard Prize, "POPL 2000 Most Influential Paper Award". Craig Chambers, the 2011 AITO Dahl–Nygaard Prize for the design of Cecil and his work on compiler techniques used to implement OO languages ... John Chambers, the 1998 ACM Software System Award for the programing language S K. Mani Chandy, contributions to the verification of parallel programming languages, including the language UNITY Alonzo Church, the Lambda calculus; considered a founder of computer science John Cocke, the 1987 Turing Award for significant contributions in the design and theory of compilers, ..., and ...; co-developed the CYK parsing algorithm Alain Colmerauer, creator of Prolog Richard W. Conway, for the introductory languages CORC and CUPL and the student-oriented dialect PL/C; for extensive error correction so that every program compiled William Cook, chief architect of AppleScript, the 2014 AITO Dahl–Nygaard Prize for contributions to the theory and practice of OO programming Keith Cooper, research on programming languages, compilers, optimization, and static analysis Thierry Coquand, ACM SIGPLAN 2013 PL Software Award, and 2015 ACM Software System Award for Coq (renamed Rocq) proof assistant Patrick Cousot, for contributions to programming languages through the co-invention of abstract interpretation, ACM SIGPLAN 2013 PL Achievement Award Radhia Cousot, for contributions to programming languages through the co-invention of abstract interpretation, ACM SIGPLAN 2013 PL Achievement Award James Cordy, known for the TXL source transformation language, a parser-based framework and functional programming language designed to support software analysis and transformation tasks

… excerpt ends here. Continue reading the full article.

Worked examples

Example 1 — a first encounter with List of programming language researchers

Start with the simplest possible case. Write down what List of programming language researchers claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In computer science, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to List of programming language researchers before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about List of programming language researchers ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of List of programming language researchers

In research: List of programming language researchers appears in computer science research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses List of programming language researchers in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: List of programming language researchers is common in secondary-school and first-year university syllabi. It links to neighbouring topics Lists of computer scientists, Programming language designers, Programming language researchers, so understanding it makes those chapters shorter.
In everyday life: Look for List of programming language researchers outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “List of programming language researchers” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study List of programming language researchers in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what List of programming language researchers means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain List of programming language researchers out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is List of programming language researchers in simple terms?

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 an…

Why does List of programming language researchers matter?

Because it connects several computer science ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study List of programming language researchers?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on List of programming language researchers.