Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Toward Static Analysis of SIGNAL Programs using Interval Techniques. In Synchronous Languages, Applications, and Programming, SLAP 2006, Florence Maraninchi, Marc Pouzet (eds.), Vienna, Austria, Mars 2006.
Abdoulaye Gamatié
Thierry Gautier
@InProceedings{slap06gglg,
Author = {Gamatié, Abdoulaye and Gautier, Thierry and Le Guernic, Paul},
Title = {Toward Static Analysis of SIGNAL Programs using Interval Techniques},
BookTitle = {Synchronous Languages, Applications, and Programming, SLAP 2006},
editor = {Maraninchi, Florence and Pouzet, Marc},
Address = {Vienna, Austria},
Month = {March},
Year = {2006}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.