2 résultats : langage haut niveau

Recherche en cours

Par mots-clef = langage haut niveau

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

2 résultats

page 1 sur 1

résultats 1 à 2

Comment faire confiance à un compilateur ?

Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu’elle ne peut comprendre ?

Mots clés : erreur, langage haut niveau, fossé sémantique, preuve formelle, CompCert, fuscia

Date : 30-03-2010

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Comment faire confiance à un compilateur ?

Ajouter à mon panier

Accéder au document

La programmation par contraintes

Description : Grâce à elle, le programme informatique résolvant un problème peut s’écrire de manière très simple. Il s’agit simplement d’écrire les différentes contraintes que l’on souhaite voir respectées…

Mots clés : programmation logique, algorithme, solveur, langage haut niveau, recherche opérationnelle, propagation de contrainte, optimisation, fuscia

Date : 20-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La programmation par contraintes

Ajouter à mon panier

Accéder au document

Rebondir