https://evenements.uqam.ca

http://www.uqam.ca/|logo_uqam_couleur-blanc.svg|UQAM, Université du Québec à Montréal|38



UQÀM|uqam|http://www.uqam.ca/

Calendrier des événements


Recherche


evenements@uqam.ca


Séminaire LATECE : aReader. Analyse de style en programmation assembleur

Bonjour à tous,

Vous êtes cordialement invités à participer au cinquième séminaire du LATECE de la session hiver 2017.

Qui? Lorne Bouchard

Quand? Mercredi 29 mars  2017 à 12h30

Où? PK 5115

Titre : De la lisibilité des programmes en langage d'assemblage

Résumé :

Nous postulons que la lisibilité des programmes en langage d'assemblage repose essentiellement sur
leur organisation et sur la structure du code. Nous définissons aStyle, un style de programmation dit lisible qui impose des contraintes minimales sur l'écriture des programmes. aStyle repose sur trois principes :

la décomposition structurée [Wirth 1971], la localité [Denning 2005] et la lisibilité [Elbow 1998]. Notamment, les instructions de transfert de contrôle ou gotos doivent être uniquement
utilisées pour implémenter les instructions bien-structurées.
Nous présentons aReader, le prototype d'un analyseur de style pour les programmes Pep-8 [Warford 2009]. aReader effectue l'analyse de style en s'appuyant uniquement sur le listing
d'assemblage. Le résultat de l'analyse se présente sous la forme d'un coloriage du listing agrémenté du
graphe des appels et d'annotations ou de décorations en marge droite du listing.
Nous montrons comment aReader exploite les contraintes imposées par aStyle pour effectuer l'analyse. En particulier, nous montrons qu'une dérogation aux lois de la portée des instructions bienstructurées est nécessaire pour rendre compte du « et » et du « ou » paresseux.
Nous concluons la présentation en commentant sur le style des travaux remis dans le cadre du cours INF2170.

Séminaire LATECE : aReader. Analyse de style en programmation assembleur

Date / heure

Débute à 

Lieu

PK5115
201, avenue du Président-Kennedy
Montréal (QC) Canada  H2X 2J6

Prix

Gratuit

Contact

Jean Privat
Site Web

Sauvegarder

  • Google Agenda
  • Yahoo
  • iCal
  • Imprimer
Consulté 4 fois   ·   Modifier
Retour en haut de page