Afin de pouvoir garantir la sécurité d'exécution des programmes Multi-ML, nous proposons une sémantique formelle ainsi qu'un système de type afin d'accepter uniquement des programmes bien formés.
To ensure the execution safety of Multi-ML programs, we also propose a typing system that preserves replicated coherence.
Autres résultats
De plus, nous proposons une machine abstraite permettant de décrire formellement l'évaluation d'un programme Multi-ML sur une machine Multi-BSP.
An abstract machine is defined to formally describe the evaluation of a Multi-ML program on a Multi-BSP architecture.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "programmes Multi-ML" en français
