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
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 programme...
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...
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,...