28 résultats : compilateur

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
28 résultats
page 3 sur 3
résultats 21 à 28
UNIT
Description : Ce cours propose les bases du langage C au travers de 7 chapitres consacrés chacun à un aspect du langage. Complété par une présentation de la librairie standard et du débogueur GDB, le cours propose également cinq séries d'exercices de difficulté croissante.
Mots clés : fuscia, langage C, langage impératif, variable, type, fonction, pointeur, fichier, compilation, instruction, makefile, débogueur GDB
Date : 01-05-2009
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
Canal-U
Description : Le séminaire étudie, à partir de cas particuliers, le double et contradictoire mouvement de rassemblement des textes dans un même ouvrage (bibliothèques, recueils, œuvres complètes, etc.) et de dissémination des œuvres (sous formes de citations, lieux communs, extraits, morceaux choisis).
Mots clés : righting copy, « le chevalier aux pilon flamboyant » "les deux nobles cousins", « édouard II », « le lieu commun comme sublime », « le viol de lucrèce », « le parnasse anglais », « les essais », « le belvédère », recueil de lieux communs, homosociabilité, dissémination, marquage typographique, ...
Date : 14-12-2006
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
Canal-U
Description : Générique Auteur : Jean-François Colonna Réalisateur : Alain Longuet (c) Ecole Polytechnique France 1996
Mots clés : calcul, compilation, flottant, flottante, numérique, ordinateur
Date : 03-01-1996
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
Mots clés : compilateur, logiciel critique, programmation fonctionnelle, vérification de programme, vérification formelle, preuve formelle, fuscia, conference, stic, recherche
Date : 08-10-2009
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
Description : Cours d'initiation visant à : - Présenter l'activité de programmation - Introduire et justifier la notion d'algorithme - Donner quelques principes méthodologiques - Donner quelques repères fondamentaux (complexité d'un algorithme, langages)
Mots clés : programmation, algorithmique, énoncé, codage, spécification, langage, programme, compilation, langage interprété
Date : 01-01-2007
Droits : Cours en accès libre, propriété de son auteur et de l'INSA Rouen
UNIT
Description : Écrire du code sûr et s’assurer que celui-ci satisfait des propriétés de sécurité est nécessaire pour contrer d’éventuelles cyberattaques. Mais ce n’est pas suffisant. Encore faut-il que le programme qui sera exécuté par l’ordinateur soit sûr. Vous avez bien lu : écrire un programme sûr et s’assurer ...
Mots clés : sécurité programme, sécurité compilateur, langage programmation
Date : 13-12-2018
Droits : Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : ...
Mots clés : théorie des langages, langage formel, compilation, langage de programmation, automate fini, grammaire syntagmatique, analyseur, calculabilité
Date : 01-09-2011
Droits : Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.
Productions_UL
Description : Olivier Festor, Professeur des universités à l’Université de Lorraine, nous propose de consacrer cette leçon à la couche d'instrumentation d'une application, à l'aide de la technologie JMX (Java Management eXtensions). Cette vidéo est la deuxième leçon de la partie du cours consacrée à l'instrum ...
Mots clés : instrumentation, construction, objet de supervision, exploitation, enregistrement, web, interface, serveur, introspection, écriture, attribut, suffixe, préfixe, compilation, composition dynamique
Date : 2017
Droits : CC BY-NC-ND