SIGPLAN (redirect from ACM SIGPLAN Programming Languages Software Award)
Parallel Programming (PPoPP) International Conference on Functional Programming (ICFP) Systems, Programming, Languages, and Applications: Software for Humanity...
23 KB (2,849 words) - 17:28, 7 July 2025
Object-oriented programming (OOP) is a programming paradigm based on the concept of objects. Objects can contain data (called fields, attributes or properties)...
67 KB (7,162 words) - 13:13, 19 July 2025
mathematics, and software engineering. In some ways, the history of programming language theory predates even the development of programming languages. The lambda...
15 KB (1,613 words) - 14:01, 18 July 2025
Simon Marlow (section Honours and awards)
Compiler (GHC) for the programming language Haskell. He and Simon Peyton Jones won the SIGPLAN Programming Languages Software Award in 2011 for their work...
5 KB (260 words) - 16:57, 9 February 2024
Lattner (born 1978) is an American software engineer and creator of LLVM, the Clang compiler, the Swift programming language and the MLIR compiler infrastructure...
19 KB (1,627 words) - 16:07, 13 July 2025
Leonardo de Moura (section Awards and honors)
most influential paper in the field. The 2025 ACM SIGPLAN Programming Languages Software Award for his work on Lean. Hughes, Alyssa (2019-10-16). "Model-based...
3 KB (231 words) - 18:36, 6 July 2025
OCaml (redirect from Ocaml programming language)
2023, the OCaml compiler was recognised with ACM SIGPLAN's Programming Languages Software Award. OCaml features a static type system, type inference, parametric...
40 KB (4,204 words) - 04:48, 17 July 2025
user interface (GUI) in many programming languages. It is free and open-source software released under a BSD-style software license. Tk provides many widgets...
16 KB (1,526 words) - 08:11, 11 June 2025
Rosetta Stone Language Learning is proprietary, computer-assisted language learning (CALL) software published by Rosetta Stone Inc, part of the IXL Learning...
42 KB (4,026 words) - 23:28, 1 July 2025
SIGPLAN Programming Languages Software 2013 award". Archived from the original on 22 February 2023. Retrieved 22 February 2023. "Programming Languages Software...
6 KB (517 words) - 11:21, 6 July 2025
Z3 Theorem Prover (category Free software programmed in C++)
(2019). "Programming Z3". Programming Z3. Archived from the original on February 9, 2023. Retrieved May 21, 2023. "Programming Languages Software Award". www...
6 KB (530 words) - 18:35, 16 July 2025
Lean (proof assistant) (redirect from Lean (programming language))
the language's scalability and usability, and implementing proof automation. In 2025, ACM SIGPLAN Programming Languages Software Award was awarded to Gabriel...
16 KB (1,513 words) - 05:58, 24 July 2025
Recommendation and the Fourth Language to Run Natively in Browsers". InfoQ. Retrieved 2024-05-06. "Programming Languages Software Award". www.sigplan.org. Retrieved...
25 KB (2,570 words) - 15:57, 1 July 2025
and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC)...
53 KB (5,721 words) - 00:49, 12 July 2025
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
87 KB (8,682 words) - 02:26, 12 July 2025
Julia is a dynamic general-purpose programming language. As a high-level language, distinctive aspects of Julia's design include a type system with parametric...
108 KB (8,305 words) - 07:45, 18 July 2025
1998 ACM Software System Award for the programing language S K. Mani Chandy, contributions to the verification of parallel programming languages, including...
58 KB (5,835 words) - 21:51, 25 May 2025
Lua (redirect from Lua Programming Language)
high-level, multi-paradigm programming language designed mainly for embedded use in applications. Lua is cross-platform software, since the interpreter of...
52 KB (5,483 words) - 00:47, 25 July 2025
Niklaus Wirth (redirect from Systematic Programming)
several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally...
28 KB (2,280 words) - 03:35, 22 June 2025
Simon Peyton Jones (category Programming language researchers)
(MAE). In 2011, he and Simon Marlow were awarded the SIGPLAN Programming Languages Software Award for their work on GHC. He received an honorary doctorate...
13 KB (958 words) - 12:26, 2 October 2024
Concurrent computing (redirect from Concurrent programming languages)
concurrent programming languages have been developed more as research languages (e.g. Pict) rather than as languages for production use. However, languages such...
29 KB (3,004 words) - 17:17, 16 April 2025
and comparing programming practices and the languages used to code programs. For perspective, other fields of research study software engineering processes...
24 KB (2,666 words) - 19:04, 23 June 2025
spreadsheets, functional programming, and computer math packages. It has also inspired several other programming languages. A mathematical notation for...
96 KB (9,877 words) - 23:32, 9 July 2025
Apollo Guidance Computer for the Apollo program. She later founded two software companies, Higher Order Software in 1976 and Hamilton Technologies in 1986...
56 KB (5,150 words) - 02:53, 23 July 2025
of the software. Comparison of multi-paradigm programming languages Comparison of numerical-analysis software Comparison of programming languages Comparison...
23 KB (1,749 words) - 16:18, 23 June 2025
it received the Programming Languages Software Award from ACM SIGPLAN. Pin performs instrumentation by taking control of the program just after it loads...
10 KB (1,124 words) - 13:21, 24 May 2025
Discrete optimizer) a software package for linear programming, integer programming, nonlinear programming, stochastic programming, and global optimization...
14 KB (1,243 words) - 18:18, 28 May 2025
Matthew Flatt (category Programming language researchers)
library links. In 2018, Flatt received the ACM SIGPLAN's Programming Languages Software Award (jointly with the Racket core team). The citation highlights...
5 KB (468 words) - 01:09, 21 March 2025
just one. R (programming language), derivative language based on S programming language that is partially backward compatible with S programs Chambers, John...
12 KB (1,229 words) - 15:51, 18 February 2025
Salton Awards, SIGIR, retrieved 2020-01-27 "ACM Programming Systems and Languages Paper Award". ACM. Retrieved 2022-08-17. IEEE CS Charles Babbage Award, IEEE...
34 KB (859 words) - 07:35, 25 May 2025