a function calculation part for applying a predetermined function to the input program to obtain a calculated value
une partie de calcul de fonctions destinée à appliquer une fonction prédéterminée au programme d'entrée pour obtenir une valeur calculée
an input interface to which a pair of an input program and an identifier of the input program can be inputted from the exterior
une interface d'entrée dans laquelle on peut introduire de l'extérieur la paire programme d'entrée/identificateur de programme d'entrée
We reviewed the input program to identify any coding errors or bugs.
The developers improved the input program to enhance its usability and functionality.
Les développeurs ont amélioré le programme source pour en accroître l'utilisabilité et la fonctionnalité.
Abstract: In order to develop safer software for critical applications, some static analyzers aim at establishing, with mathematical certitude, the absence of some classes of bug in the input program.
Résumé : Afin de développer des logiciels plus sûrs pour des applications critiques, certains analyseurs statiques tentent d'établir, avec une certitude mathématique, l'absence de certains types de bugs dans un programme donné.
Abstract: In order to develop safer software for critical applications, some static analyzers aim at establishing, with mathematical certitude, the absence of some classes of bug in the input program.
Ajouter des Coq. Résumé : Afin de développer des logiciels plus sûrs pour des applications critiques, certains analyseurs statiques tentent d'établir, avec une certitude mathématique, l'absence de certains types de bugs dans un programme donné.
The input program contains instructions to execute the desired task efficiently.
The input program needs to be updated regularly for optimal performance.
Le programme source doit être mis à jour régulièrement pour des performances optimales.
The input program processes user data within seconds, providing quick results.
Le programme source traite les données des utilisateurs en quelques secondes, fournissant des résultats rapides.
The input program rewards those who work hard.
for setting values that variables in the input program
and an output interface for outputting the input program to the exterior when the comparison result shows a coincidence.
et une interface de sortie qui permet d'émettre le programme d'entrée à l'extérieur lorsque le résultat de comparaison indique une coïncidence.
The program that models the behavior of the first one is made of sequences of nested loops, in which the functions of the innermost level compute the values of the input program trace from the loop indices.
Le programme qui exprime le comportement est constitué d'une séquence de nids de boucles dans lesquelles les fonctions de niveau les plus internes expriment les valeurs de la trace d'entrée à partir des indices de boucles.