Return to search

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

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.

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2007/24437
Date04 1900
CreatorsGodbout, Daniel
ContributorsKtari, Béchir
PublisherUniversité Laval
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageFrench
Detected LanguageFrench
TypeElectronic Thesis or Dissertation
Formattext/html, application/pdf
Rights© Daniel Godbout, 2007

Page generated in 0.0019 seconds