Documents, par thèmes
|
Analyse statique de dépendance par interprétation abstraite
Patrick Cousot
sciencesconf.org:nhalbwachs2018:219837 |
40 years of convex polyhedra, and what's more to say?
David Monniaux
sciencesconf.org:nhalbwachs2018:219842 |
Relational Summaries for Interprocedural Analysis
Rémy Boutonnet
sciencesconf.org:nhalbwachs2018:219850 |
Experiences in designing scalable static analyses
Laure Gonnord
sciencesconf.org:nhalbwachs2018:219859 |
Worst-Case Execution Time and Reactive Systems
Claire Maïza
sciencesconf.org:nhalbwachs2018:220299 |
|
