1,926 followers
@petitroll @mixlamalice Je peux suggérer un autre article que j'ai découvert pendant ma thèse. On analyse du code java mais avec une autre sémantique que java 😅, et on résout en temps polynomial en une exponentielle de la taille du code pris en entrée. 😱