Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
type-checker
Vertaling van "type-checker" in Frans
vérificateur de types
Vimes is a type-checker for Z notation which shows the use of nuweb in a practical application.
Vimes est un vérificateur de types pour la notation Z qui montre l'usage de nuweb dans une application pratique.
Its goal is to serve as a plug-in component in the design of a constraint-based type-checker, regardless of the programming language being analyzed.
Son but est de constituer un composant prêt à l'emploi pour la création d'un typeur à base de contraintes, quel que soit le langage de programmation analysé.
Type checker: Duringthe adhesion of constant abstracts via homonymy, the type-checker picked up an error, whilst this construction is permitted by the B language.
Type checker: Lors du collage de constante abstraites par homonymie, le type-checker levait une erreur, alors que cette construction est autorisée par le langage B.
This type checker is proven sound with respect to the specification and can be extracted to OCaml code and run independently of Coq's kernel type-checker.
Ce vérificateur de type est prouvé correct vis à vis de la spécification et peut être extrait en code OCaml et exécuté indépendamment du vérificateur de type du noyau de Coq.
Abstract: The essential step of the formal verification of a proof-checker such as Coq is the verification of its kernel: a type-checker for the Calculus of Inductive Constructions (CIC) which is its underlying formalism.
Résumé: L'étape essentielle de la certification d'un système de preuves tel que Coq serait la vérification de son noyau: un vérificateur de types d'un petit système de vérification de preuves basé sur le Calcul des Constructions Inductives (CCI).
We implemented programs that automatically translate the proofs of HOL, Coq, and Matita, to Dedukti, a type-checker for the lambda-Pi-calculus modulo rewriting.
Nous avons implémenté des programmes qui traduisent automatiquement les preuves de HOL, Coq, et Matita, en Dedukti, un vérificateur de types pour le lambda-Pi-calcul modulo réécriture.
A representation of types, type-checker, and compiler are provided for checking consistency in various forms of an intermediate language (500 of fig. 5).
L'invention concerne une représentation de types, un contrôleur de types et un compilateur permettant de vérifier la régularité de diverses formes d'un langage intermédiaire.
Mezzo is not just a type system that lives on paper: the final part describes the implementation of a type-checker for Mezzo, by formalizing the algorithms that I designed and the various ways the type-checker ensures that a program is valid.
Mezzo n'existe pas seulement sur le papier : une dernière partie décrit la manière dont le lan- gage est implémenté, en formalisant les algorithmes utilisés dans le typeur et en détaillant les techniques utilisées pour déterminer la validité d'un programme.
Fortunately, with a growing percentage of our codebase in TypeScript, we were able to leverage the type-checker to give developers feedback as they wrote the code.
Heureusement, notre base de code étant de plus en plus souvent écrite en TypeScript, nous avons pu utiliser l'outil de vérification de la typographie pour faire remonter les informations aux développeurs pendant qu'ils écrivaient le code.
We implemented programs that automatically translate the proofs of HOL, Coq, and Matita, to Dedukti, a type-checker for the lambda-Pi-calculus modulo rewriting.
Nous avons implémenté des programmes qui traduisent automatiquement les preuves de HOL, Coq, et Matita, en Dedukti, un vérificateur de types pour le lambda-Pi-calcul modulo réécriture.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor type-checker in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
type checker
160
Resultaten: 10. Exact: 10. Verstreken tijd: 231 ms.
