Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
subtyping relation
Vertaling van "subtyping relation" in Frans
relation de sous-typage
The second part focuses on the algorithmical aspects: computing the subtyping relation and compiling pattern matching with optimizations.
La deuxième partie étudie les aspects algorithmiques: calcul de la relation de sous-typage et compilation optimisée du filtrage par motifs.
Then, we add set-theoretic types, defining a subtyping relation on set-theoretic gradual types, and we describe sound type inference for the extended system.
Ensuite, nous y ajoutons les types ensemblistes, en définissant une relation de sous-typage sur les types graduel ensemblistes, puis en présentant un système d'inférence de types correct pour le système étendu.
They also give rise to a natural and powerful subtyping relation.
Ils introduisent 'egalement une relation de sous-typage naturelle etpuissante.
The last chapter integrates the two previous notions into a core language equipped with a subtyping relation: it greatly improves the modularity of Fω to a level that is comparable with the flexibility of ML modules.
Le dernier chapitre intègre les deux notions précédentes dans un langage noyau muni d'une relation de sous-typage : cela apporte à Fω un gain de modularité important, de niveau comparable à celui des modules de ML.
We consider the subtyping relation recently defined by Castagna and Xu over such type expressions and show that this relation can be decided in EXPTIME and implemented efficiently answering an open question in the literature.
Nous considérons la relation de sous-typage récemment définie par Castagna et Xu sur des expressions de cette algèbre de type et montrons que le sous-typage peut être décidé avec une complexité EXPTIME et implémenté efficacement en pratique clôturant ainsi à une question ouverte dans la littérature.
We consider the subtyping relation recently defined by Castagna and Xu over such type expressions and show how this relation can be decided in EXPTIME, answering an open question.
Nous considérons la relation de sous-typage définie récemment par Castagna et Xu sur cette algèbre de types et montrons que cette relation est décidable en EXPTIME, résolvant une question ouverte.
This work was generalized to the case of Pure Type Systems with an abstract subtyping relation.
Ce travail a été généralisé au cas des Systèmes de Types Purs avec relation de sous-typage abstraite.
The resulting type system can be enriched with a decidable subtyping relation.
Le système de types obtenu peut être enrichi avec une relation de soutypage décidable.
Set-theoretic types, coupled with a suitable subtyping relation, are useful to type several programming language constructs - including conditional branching, pattern matching, and function overloading - very precisely.
Les types ensemblistes permettent de typer de manière très précise plusieurs constructions des langages de programmation (comme par exemple les branches conditionnelles, le filtrage par motif et la surcharge des fonctions) lorsqu'ils sont utilisés avec une notion appropriée de sous-typage.
Synoniemen voor subtyping relation in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9. Exact: 9. Verstreken tijd: 28 ms.
