Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
into OCaml code
Examples with "into OCaml code" and their translation in Frans
The components are translated into OCaml code and verified by the Coq proof assistant.
Les composants FoCal sont traduits en code exécutable OCaml et vérifiés par l'assistant à la preuve Coq.
Using the extraction mechanism of Coq, the compiler is automatically extracted into OCaml code, which is compiled by the Objective Caml system.
Le code exécutable du compilateur a été obtenu en deux étapes non vérifiés : la génération automatique de code Ocaml par le mécanisme d'extration de Coq et la compilation du de ce code extrait par le système Objective Caml.
Andere resultaten
It operates as a distinct front-end for the compiler, converting source code into OCaml ASTs for the rest of the toolchain to consume.
Values of attributes are OCaml code too, as for the leafs.
Les valeurs des attributs sont, comme pour les feuilles, du code OCaml.
tool generates the OCaml code of this structure.
permet de générer le code OCaml correspondant au document décrit.
The native version of Chamo can not interpret OCaml code to modify its behaviour.
La version native de Chamo ne permet pas d'interpréter du code OCaml et donc de modifier au vol son comportement.
An important point is that the way to compute the information needed in the document is given in the form of OCaml code.
Un point important est que l'information à mettre dans le document est donnée sous forme de code OCaml.
I've just installed VC++ and MASM in the hope to compile some ocaml code using ocamlopt.
Je viens juste d'installer VC++ et MASM dans l'espoir de compiler du code ocaml utilisant ocamlopt.
Validation rules in atd files are open-ended, developers can inject whatever OCaml code they want directly into the atd file.
Les règles de validation dans les fichiers atd sont ouvertes, les développeurs peuvent injecter n'importe quel code OCaml directement dans le fichier atd.
DBForge: a tool to describe database schemas and generate OCaml code to access these databases.
DBForge : un outil pour décrire des schémas de base de données et générer le code OCaml permettant d'accéder à ces bases.
Ocamlearn, a place for small Ocaml code examples, questions-and-answers, mini-howtos, aimed at beginners and open to external contributors.
tool generates the OCaml code of the document description, using the types defined in the Report library.
génère le code OCaml de la description de document, en utilisant les types définis dans la bibliothèque Report.
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.
Synoniemen voor into OCaml code in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 63. Exact: 2. Verstreken tijd: 252 ms.
