Showing 1 - 20 results of 112 for search '"Analyse statique"', query time: 0.62s Refine Results
  1. 1
    Dioïdes et idéaux de polynômes en analyse statique
    by Jobin, Arnaud
    Published 2012
    Subjects: “...Analyse statique...”
    Get full text
  2. 2
    Conception d'un langage dédié à l'analyse et la transformation de programmes
    by Balland, Emilie
    Published 2009
    Subjects: “...analyse statique...”
    Get full text
  3. 3
    Application d'algorithmes de bio-informatique à la recherche de patrons de conception
    by Kaczor, Olivier
    Published 2017
    Subjects: “...Analyse statique...”
    Get full text
  4. 4
    Défense contre les attaques de logiciels
    by Boudjema, El Habib
    Published 2018
    Subjects: “...Analyse statique...”
    Get full text
  5. 5
    Abstraction de traces en analyse statique et transformation de programmes.
    by Rival, Xavier
    Published 2005
    Subjects: “...Analyse Statique...”
    Get full text
    Get full text
  6. 6
    Analyse de la complexité des programmes par interprétation sémantique
    by Pechoux, Romain
    Published 2007
    Subjects: “...analyse statique...”
    Get full text
    Get full text
  7. 7
    Analyse des systèmes mobiles par interprétation abstraite.
    by Feret, Jérôme
    Published 2005
    Subjects: “...Analyse statique...”
    Get full text
    Get full text
  8. 8
    Contributions à l'analyse statique de programmes manipulant des tableaux
    by Péron, Mathias
    Published 2010
    Subjects: “...analyse statique...”
    Get full text
    Get full text
  9. 9
    Low-cost memory analyses for efficient compilers
    by Maalej Kammoun, Maroua
    Published 2017
    Subjects: “...Analyse statique...”
    Get full text
  10. 10
    Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides
    by Djaballah, Adel
    Published 2017
    Subjects: “...Analyse statique...”
    Get full text
  11. 11
    Programmation Réactive Synchrone, Langage et Contrôle des Ressources
    by Dabrowski, Frederic
    Published 2007
    Subjects: “...analyse statique...”
    Get full text
    Get full text
  12. 12
    Analyse statique modulaire des langages à objet.
    by Logozzo, Francesco
    Published 2004
    Subjects: “...Analyse Statique...”
    Get full text
    Get full text
  13. 13
    Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
    by Barcenas Patino, Ismael
    Published 2011
    Subjects: “...Analyse statique...”
    Get full text
    Get full text
  14. 14
    Analyse statique de requête pour le Web sémantique
    by Chekol, Melisachew Wudage
    Published 2012
    Subjects: “...Analyse statique...”
    Get full text
  15. 15
    Certification of static analysis in many-sorted first-order logic
    by Cornilleau, Pierre-Emmanuel
    Published 2013
    Subjects: “...Analyse statique...”
    Get full text
  16. 16
    La représentation SSA: sémantique, analyses et implémentation dans GCC
    by Pop, Sebastian
    Published 2006
    Subjects: “...Analyse statique de programmes...”
    Get full text
    Get full text
  17. 17
    De la sémantique opérationnelle à la spécification formelle de compilateurs: l'exemple des boucles en Esterel
    by Tardieu, Olivier
    Published 2004
    Subjects: “...Analyse statique...”
    Get full text
    Get full text
  18. 18
    Analyses de Pointeurs et Logique de Séparation.
    by Sims, Elodie-Jane
    Published 2007
    Subjects: “...Analyse statique...”
    Get full text
    Get full text
  19. 19
    EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions
    by Bühler, David
    Published 2017
    Subjects: “...Analyse statique...”
    Get full text
  20. 20
    The analysis and co-design of weakly-consistent applications
    by Najafzadeh, Mahsa
    Published 2016
    Subjects: “...Analyse statique...”
    Get full text
Search Tools: Get RSS Feed — Email this Search