Conversion de programmes de l'impératif au déclaratif

Authors: Godbout, Daniel
Advisor: Ktari, Béchir
Abstract: Habituellement, plus le développement d'un logiciel est avancé plus il est dispen- dieux de le modifier. Par conséquent, une approche permettant de simplifier l'étape de maintenance permettrait de réduire considérablement le coût lié au développement de programmes. Le langage déclaratif de la méthodologie Lyee permet justement de simplifier la maintenance de programmes. Cependant, les programmes existants écrits dans un langage impératif doivent être traduits pour être utilisés par celle-ci. Ainsi, dans ce travail, nous proposons une fonction de conversion de programmes écrits dans un langage impératif avec des tableaux et entrées/sorties vers un langage déclaratif. Il s'agit d'une extension de langages L1 et L2 existants qui supportaient déjà les expres- sions arithmétiques et booléennes ainsi que les affectations, les boucles et les instructions conditionnelles. Le travail effectué a donc été d'ajouter les tableaux et les entrées/sorties dans ces langages et d'ajuster la fonction de traduction en conséquent. Aussi, une im- plantation d'une interface de développement permettant de spécifier des programmes dans un langage déclaratif simple à utiliser a été produite.
Document Type: Mémoire de maîtrise
Issue Date: 2007
Open Access Date: 12 April 2018
Permalink: http://hdl.handle.net/20.500.11794/19076
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
SizeFormat 
24437.pdf978.88 kBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.