Sites Inria

There are 3 Results with the keyword : "ACM SIGPLAN"

1984

Chronology: Seven Key Dates

Mathilde De Vos -

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.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > Chronologie

More

Coq: Thirty Years of Teamwork

Julien Thèves, Citizen Press -

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.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > 30 ans de travail d’équipe

More

Coq: the Program that Provides the Proof

Julien Thèves, Citizen Press -

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.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > La preuve par le logiciel

More

Top