Questions marquées «program-analysis»

L'exécution symbolique est un cas d'interprétation abstraite?

Ceci est écrit dans l'entrée wiki de Symbolic Execution , mais je ne trouve aucune référence pour cela. Quelqu'un peut-il me montrer un pointeur? Je vous remercie.

15 reference-request lo.logic program-analysis

Quel est l'état de l'art dans la théorie des algorithmes de cache?

Je me suis récemment intéressé au problème général de l'optimisation de l'utilisation de la mémoire dans une situation où il y a plus d'un type de mémoire disponible, et il y a un compromis entre la capacité d'un segment de mémoire donné et la vitesse d'accès. L'exemple familier est un …

14 optimization program-analysis

Littérature sur l'analyse des alias

J'écris ma thèse de master en CS et je travaille avec l'analyse d'alias. Ce qui m'intéresse, c'est l'analyse intraprocédurale, sensible aux flux et must-alias pour les langages de type Java. Je recherche des textes qui décrivent les bases de ce sujet de manière détaillée mais je n'ai pas pu trouver …

10 reference-request pl.programming-languages compilers program-analysis

Quel est l'objectif derrière l'interprétation abstraite dans les langages de programmation?

J'essaie maintenant de mieux comprendre ce qu'est "l'interprétation abstraite" dans les langages de programmation. J'ai trouvé un bon chapitre de livre qui explique l'idée d'étendre le domaine avec un élément le moins fixe, les quatre axiomes qui donnent un point fixe pour une fonction continue, etc. Je comprends ces détails …

9 pl.programming-languages program-analysis

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.