Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
programs manipulating
Vertaling van "programs manipulating" in Frans
programmes manipulant
programmes qui manipulent
However verification of properties on programs manipulating pointer structures is still hard.
Cependant la vérification de propriétés sur des programmes manipulant des pointeurs est encore complexe.
Experimentations shows that the analyzer can efficiently and precisly prove some challenging exemples in the field of static analysis of programs manipulating arrays.
L'expérimentation démontre qu'elles peuvent analyser avec efficacité et précision un certain nombre d'exemples constituant des défis de l'analyse statique de programmes manipulant des tableaux.
However, the MoCCs in 42 are described by means of programs manipulating a small set of basic primitives to activate components and to manage their communication.
Cependant, les MoCCs dans 42 ne sont pas fournis sous forme de catalogue, ils sont décrits par des programmes qui manipulent un petit ensemble de primitives de base pour activer les composants et gérer les communications entre eux.
BindLib This library provides tools to write programs manipulating data structures with binders (like lambda-terms or quantified formulae).
BindLib Cette bibliothèque vous offre des outils pour écrire des programmes qui manipulent des données structurées avec lieurs (comme les lambda termes ou les formules quantifiées).
First, we present a tool which supports the development of functional programs manipulating proof certificates (certifying programs).
Premièrement, nous présentons un outil d'assistance au développement de programmes fonctionnels manipulant des certificats de preuve (programmes certificats).
Since arrays are ubiquitous in most software systems, and software defects related to mis-uses of arrays are hard to avoid in practice, a lot of efforts have been devoted to ensuring the correctness of programs manipulating arrays.
Les tableaux sont omniprésents dans de nombreux programmes, et les erreurs liées à leur manipulation sont difficile à éviter en pratique.
To ease this task, we propose to start the development with a high-level implementation embodied by functional programs manipulating inductive data-structures, that are easily verified in proof assistants such as Isabelle/HOL.
Pour la simplifier, nous proposons de démarrer le développement par une implémentation haut-niveau sous la forme de programmes fonctionnels sur des types de données inductifs facilement vérifiables dans des assistants à la preuve tels que Isabelle/HOL.
Abstract: This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures.
Résumé : Les travaux décrits dans cette thèse portent sur le problème de vérification des systèmes avec espaces d'états infinis, et, en particulier, avec des structures de données chaînées.
However, the MoCCs in 42 are described by means of programs manipulating a small set of basic primitives to activate components and to manage their communication.
Cependant, les MoCCs dans 42 ne sont pas fournis sous forme de catalogue, ils sont décrits par des programmes qui manipulent un petit ensemble de primitives de base pour activer les composants et gérer les communications entre eux.
Synoniemen voor programs manipulating in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9. Exact: 9. Verstreken tijd: 32 ms.
