Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
coq system
Vertaling van "coq system" in Frans
It presents, studies and justifies the choices made in the Coq system.
Il présente, étudie et justifie les choix faits dans le système Coq.
We also propose a new way to certify extracted programs, in the concrete setting of the existing Coq system.
Nous proposons également une nouvelle méthode de certification des programmes extraits, dans le cadre concret du système Coq existant.
The Coq system provides a functional programming language and a reasoning framework based on higher order logic to perform proofs on the programs.
Le système Coq fournit un langage de programmation fonctionnelle et un cadre de raisonnement basé sur la logique d'ordre supérieur pour effectuer des preuves sur les programmes.
This theory is a direct descendant of the dependent type theory at the basis of the Coq system.
Cette théorie est une descendante directe de la théorie des types dépendants, à la base du système Coq.
This is why we focus our work on proof in mathematics in a particular framework that is well known in our team: geometry and its formalization in the Coq system.
C'est pourquoi nous focalisons nos travaux sur la preuve en mathématiques dans un cadre particulier qui est bien connu dans notre équipe : la géométrie et sa formalisation dans le système Coq.
The object of this thesis is the study of the ability of the Coq system to mix proofs and programs in practice. Our approach consists in implementing part of the program Kenzo, a computer algebra tool for homological algebra under some constraint.
L'objet de cette thèse est d'étudier les capacités du système Coq à mélanger démonstrations et programmes en pratique en essayant d'y implémenter une part du programme Kenzo, un outil de calcul formel en algèbre homologique.
These developments have been done in the Coq system and with the SSReflect extension.
Ces développements ont été faits dans le système Coq et avec l'extension SSReflect.
Our main reason for developing Caml was to use it for software development inside Formel. Indeed, it was used for developing the Coq system, which, following Thierry Coquand's thesis in 1985, became the team's main aim.
Notre principale raison pour développer Caml était de l'utiliser pour développer le système Coq, qui, suite à la thèse de Thierry Coquand en 1985, devint le principal objectif de l'équipe.
The Type Theory implemented by the Coq system comprises atyped functional programming language, which we have used to implement a Cylindrical Algebraic Decomposition algorithm (CAD).
La théorie des types implémentée par le système Coq comprend unlangage fonctionnel typé dans lequel nous avons programmé unalgorithme de Décomposition Algébrique Cylindrique (CAD).
Christine Paulin is one of the three founding members of the Coq system, together with her Inria colleagues Gérard Huet and Thierry Coquand.
Christine Paulin est un des trois membres fondateurs du système Coq avec ses collègues d'Inria Gérard Huet et Thierry Coquand.
Our privileged tool is the Coq system (developed by the Démon team at University of Paris-Sud and the Logical, project at INRIA Rocquencourt).
Notre outil de travail privilégié est le système Coq (équipe Démon, Université Paris-Sud, et projet Logical, INRIA Rocquencourt). Axes de recherche
The Coq system comes with an axiomatization of standard real numbers and a library of theorems on real analysis.
La bibliothèque standard de Coq dispose d'une axiomatisation des nombres réels et d'une bibliothèque de théorèmes d'analyse réelle.
the CompCert C compiler optimising the C language, which is entirely programmed and proved by the Coq system.
le compilateur CompCert C, optimisant le langage C, qui est entièrement programmé et prouvé en Coq.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor coq system in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 17. Verstreken tijd: 31 ms.
