There are 3 Results with the keyword : "ACM SIGPLAN"
On 23 January 2013 the Coq program is to receive the SIGPLAN Programming Languages Software Award. This prize is conferred on an annual basis in recognition of a software program that has had a significant impact on research and development in the field of programming languages. Here are seven key dates in the project's history.
Conceived thirty years ago at Inria's Paris-Rocquencourt laboratory, the Coq Proof Assistant continues to mobilise research teams. Its continuous development is a testimony to the interest shown in it by both the scientific community and, more recently, the financial sector.
The winner of the SIGPLAN1 Programming Languages Software Award in January 2014, the Coq program has provided invaluable support for nearly thirty years now for computer scientists who use it as an aid for writing and checking programs. This extremely efficient proof assistant has won over numerous mathematicians too.