UCL - Etudes

English version

Formations
Premier cycle
Second cycle
Troisième cycle
Certificats (programmes non académiques)
Passerelles
Formation continue
Facultés et entités
Cadre académique
Réforme de Bologne
Accès aux études
Organisation des études
Lexique
Calendrier académique
Règlement des études et examens
Charte pédagogique
Renseignements généraux
Recherche
Simple
Détaillée
Par cours

Séminaire de langage et traducteurs [INGI2339]
[30h] 3 crédits

English version

Version imprimable

Ce cours bisannuel est dispensé en 2005-2006, 2007-2008,...

Cette activité se déroule pendant le 2ème semestre

Enseignant(s):

Baudouin Le Charlier (coord.), Peter Van Roy

Langue d'enseignement :

français

Niveau :

Second cycle

>> Objectifs (en termes de compétences)
>> Objet de l'activité (principaux thèmes à aborder)
>> Résumé : Contenu et Méthodes
>> Autres informations (Pré-requis, Evaluation, Support, ...)
>> Programmes proposant cette activité
>> Autres crédits de l'activité dans les programmes

Objectifs (en termes de compétences)

- comprendre, synthétiser et exposer des résultats récents de recherche en langages de programmation et en traducteurs;

- évaluer l'état de l'art dans le(s) domaine(s) abordé(s) et cerner les questions encore ouvertes;

- mettre en relation différentes questions actuelles des langages de programmation et des traducteurs.

Objet de l'activité (principaux thèmes à aborder)

Actuellement, lle séminaire est consacré à l'analyse statique des programmes par interprétation abstraite. Lors des cinq premières semaines, les bases théoriques et pratiques de l'interprétation abstraite sont exposées : domaines de données abstraits, sémantique abstraite, algorithme de calcul de points fixes. Ensuite, les étudiants réalisent individuellement ou, par groupe de deux, un analyseur statique pour le langage SLIP, précédemment implémenté aux travaux pratiques du cours de Langages et Traducteurs (INGI2132).

Résumé : Contenu et Méthodes

voir "Objet de l'activité"

Autres informations (Pré-requis, Evaluation, Support, ...)

- Pré-requis:
(1) INGI2131 - Concepts des langages informatiques
(2) INGI2132 - Langages et traducteurs

- Références:
Articles et/ou ouvrages récents.

Programmes proposant cette activité

INFO2

Ingénieur civil informaticien

Autres crédits de l'activité dans les programmes

FSA3DS/IN

Diplôme d'études spécialisées en sciences appliquées (informatique)

(3 crédits)

INFO22

Deuxième année du programme conduisant au grade d'ingénieur civil informaticien

(3 crédits)

INFO23

Troisième année du programme conduisant au grade d'ingénieur civil informaticien

(3 crédits)

LINF22/GN

Deuxième licence en informatique (informatique générale)

(3 crédits)



Ce site a été conçu en collaboration avec ADCP, ADEF, CIO et SGSI
Responsable : Jean-Louis Marchand - Contact : secretaire@fsa.ucl.ac.be
Dernière mise à jour :02/08/2006