An algorithm for reducing binary branchings

Résumé

Nous présentons dans cet article un algorithme qui supprime les tests booléens inutiles dans du code objet, pour des programmes compilables en des systèmes de transitions étiquetées déterministes. Cet algorithme est basé sur la notion déquivalence de test, une variante de l'équivalence observationnelle classique: un test est inutile ssi chaque branche conduit à des états équivalents, les étiquettes de test étant considérées comme des actions invisibles.

Entrée BibTeX

@InProceedings{CFG95,
  author = 	 {P. Caspi and J.-C. Fernandez and A. Girault},
  title = 	 {An Algorithm for Reducing Binary Branchings},
  booktitle = 	 {Fifteenth Conference on the Foundations of Software 
		  Technology and Theoretical Computer Science, FST\&TCS'95},
  editor = 	 {P.S. Thiagarajan},
  volume = 	 {1026},
  series = 	 {LNCS},
  year = 	 {1995},
  publisher =    {Springer Verlag},
  address = 	 {Bangalore, India},
  month = 	 {December}
}

© Springer Verlag