[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-949313","data":"\u003Cdiv class=\u0022container content-rte\u0022\u003E\n \u003Cdiv class=\u0022row\u0022\u003E\n \u003Cdiv class=\u0022box col-md-6 bg-primary text-white\u0022\u003E\n \u003Ch2 class=\u0022h1 text-left\u0022\u003E Langages de programmation et compilation\n\u003C\/h2\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n 5\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ESemestre calendaire :\n Semestre 2\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ED\u00e9tail du volume horaire\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ECours magistraux :\u003C\/span\u003E\n \u003Cspan\u003E18\u003C\/span\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ETravaux pratiques :\u003C\/span\u003E\n \u003Cspan\u003E10\u003C\/span\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ETravaux dirig\u00e9s :\u003C\/span\u003E\n \u003Cspan\u003E14\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ELangue d\u0026#039;enseignement\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003EFran\u00e7ais\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EEnseignement \u00e0 distance\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003Enon\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022box col-md-6\u0022\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EPr\u00e9requis\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003ENotions de base en algorithmique, programmation en OCaml.\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EProgramme \/ plan \/ contenus\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003ECe cours aborde les outils conceptuels permettant de d\u00e9finir un langage de programmation, les outils algorithmiques permettant d\u2019interpr\u00e9ter un programme fourni sous la forme d\u2019un texte brut, et la transformation d\u2019un programme de haut niveau en code bas niveau de type assembleur.\u003C\/p\u003E\n\u003Cp\u003ETh\u00e8mes :\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EExpressions r\u00e9guli\u00e8res, algorithmique et techniques de raisonnement associ\u00e9es, dont outils de type lex\u003C\/li\u003E\n\u003Cli\u003EGrammaires alg\u00e9briques, algorithmique et techniques de raisonnement associ\u00e9es, dont outils de type yacc\u003C\/li\u003E\n\u003Cli\u003ESyntaxe abstraite, environnements, interpr\u00e9tation\u003C\/li\u003E\n\u003Cli\u003ETypes et garanties de s\u00fbret\u00e9\u003C\/li\u003E\n\u003Cli\u003ELangage assembleur\u003C\/li\u003E\n\u003Cli\u003ETraits de programmation : fonctions, structures de donn\u00e9es, programmation objet, programmation fonctionnelle\u003C\/li\u003E\n\u003C\/ul\u003E\n\u003Cp\u003ELe cours m\u00eale raisonnement th\u00e9orique et programmation. On utilisera le langage OCaml et les outils associ\u00e9s.\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EObjectifs d\u0026#039;apprentissage\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003ESavoir caract\u00e9riser un langage de programmation par une syntaxe, une s\u00e9mantique, et un mod\u00e8le d\u2019ex\u00e9cution. Conna\u00eetre les techniques d\u2019analyse syntaxique et savoir les mettre en \u0153uvre manuellement ou \u00e0 l\u2019aide d\u2019outils. Repr\u00e9senter un programme \u00e0 l\u2019aide d\u2019une syntaxe abstraite et l\u2019analyser, l\u2019interpr\u00e9ter ou le traduire. Savoir d\u00e9composer des traits de programmation de haut niveau en op\u00e9rations \u00e9l\u00e9mentaires sur une repr\u00e9sentation machine.\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EOrganisation g\u00e9n\u00e9rale et modalit\u00e9s p\u00e9dagogiques\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003ECours accompagn\u00e9s de TD et TP. L\u2019\u00e9valuation se fait par un projet et deux \u00e9preuves \u00e9crites (partiel, examen terminal).\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ENature de l\u0026#039;\u00e9valuation\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003EEvaluation Continue non Int\u00e9grale\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n\u003C\/div\u003E\n","settings":null}]