„Programming Languages Software Award“ – Versionsunterschied
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Preisträger 2019 ergänzt →Preisträger |
kat |
||
| Zeile 1: | Zeile 1: | ||
Der '''Programming Languages Software Award''' von [[Association for Computing Machinery|ACM]] SIGPLAN wird in der Regel jährlich verliehen für die Entwicklung von Software-Systemen mit Einfluss auf die Forschung zu Programmiersprachen. Er ist mit 2500 Dollar dotiert und wird an Institutionen oder Einzelpersonen verliehen. Der Preis wird auf der PLDI Konferenz verliehen (PLDI für Programming Language Design and Implementation). |
Der '''Programming Languages Software Award''' von [[Association for Computing Machinery|ACM]] SIGPLAN wird in der Regel jährlich verliehen für die Entwicklung von Software-Systemen mit Einfluss auf die Forschung zu Programmiersprachen. Er ist mit 2500 Dollar dotiert und wird an Institutionen oder Einzelpersonen verliehen. Der Preis wird auf der PLDI Konferenz verliehen (PLDI für Programming Language Design and Implementation). |
||
==Preisträger== |
== Preisträger == |
||
*2010 [[LLVM]] Compiler Infrastruktur, der Preis ging an [[Chris Lattner]] |
* 2010 [[LLVM]] Compiler Infrastruktur, der Preis ging an [[Chris Lattner]] |
||
*2011 [[Glasgow Haskell Compiler]] (GHC) für die Programmiersprache [[Haskell (Programmiersprache)|Haskell]], den Preis empfingen [[Simon Peyton Jones]], [[Simon Marlow]] |
* 2011 [[Glasgow Haskell Compiler]] (GHC) für die Programmiersprache [[Haskell (Programmiersprache)|Haskell]], den Preis empfingen [[Simon Peyton Jones]], [[Simon Marlow]] |
||
*2012 [[Jikes Research Virtual Machine]] (RVM), ein virtueller Computer, der in Java geschrieben wurde und Open Source ist und auf dem Java-Programme laufen. |
* 2012 [[Jikes Research Virtual Machine]] (RVM), ein virtueller Computer, der in Java geschrieben wurde und Open Source ist und auf dem Java-Programme laufen. |
||
*2013 [[Coq (Software)|Coq]] |
* 2013 [[Coq (Software)|Coq]] |
||
*2014 [[GNU Compiler Collection]] (GCC) |
* 2014 [[GNU Compiler Collection]] (GCC) |
||
*2015 [[Z3 Theorem Prover]] von Microsoft |
* 2015 [[Z3 Theorem Prover]] von Microsoft |
||
*2016 [[V8 (JavaScript-Implementierung)|V8 JavaScript Engine]] |
* 2016 [[V8 (JavaScript-Implementierung)|V8 JavaScript Engine]] |
||
*2018 [[Racket (Programmiersprache)|Racket]] |
* 2018 [[Racket (Programmiersprache)|Racket]] |
||
*2019 [[Scala (Programmiersprache)|Scala]] |
* 2019 [[Scala (Programmiersprache)|Scala]] |
||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
[[Kategorie:Auszeichnung der Association for Computing Machinery]] |
[[Kategorie:Auszeichnung der Association for Computing Machinery]] |
||
[[Kategorie:Erstverleihung 2010]] |
|||
Version vom 23. Oktober 2020, 18:21 Uhr
Der Programming Languages Software Award von ACM SIGPLAN wird in der Regel jährlich verliehen für die Entwicklung von Software-Systemen mit Einfluss auf die Forschung zu Programmiersprachen. Er ist mit 2500 Dollar dotiert und wird an Institutionen oder Einzelpersonen verliehen. Der Preis wird auf der PLDI Konferenz verliehen (PLDI für Programming Language Design and Implementation).
Preisträger
- 2010 LLVM Compiler Infrastruktur, der Preis ging an Chris Lattner
- 2011 Glasgow Haskell Compiler (GHC) für die Programmiersprache Haskell, den Preis empfingen Simon Peyton Jones, Simon Marlow
- 2012 Jikes Research Virtual Machine (RVM), ein virtueller Computer, der in Java geschrieben wurde und Open Source ist und auf dem Java-Programme laufen.
- 2013 Coq
- 2014 GNU Compiler Collection (GCC)
- 2015 Z3 Theorem Prover von Microsoft
- 2016 V8 JavaScript Engine
- 2018 Racket
- 2019 Scala