2 résultats : 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
UNIT
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
Format : Document HTML
Auteur : Leroy Xavier
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
UNIT
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
Format : Document HTML
Auteur : Parizot Étienne, Soliman Sylvain, Fages François
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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