Discussion :

[gorgonite]

Salut,



je cherche un algo pour passer un arbre sous forme SSA sans avoir à calculer les listes des dominateurs pour chaque noeud

[PRomu@ld]

J'ai trouvé une thèse là dessus, je n'ai que la table des matières :

http://www.ulb.ac.be/di/ssd/apiron/msthesis/toc.pdf

Voici la page du monsieur :

http://www.ulb.ac.be/di/ssd/apiron/r...ection.html#MS

Peut-être peux-tu le contacter pour avoir plus d'infos.

[gorgonite]

J'ai trouvé une thèse là dessus, je n'ai que la table des matières :

http://www.ulb.ac.be/di/ssd/apiron/msthesis/toc.pdf

Voici la page du monsieur :

http://www.ulb.ac.be/di/ssd/apiron/r...ection.html#MS

Peut-être peux-tu le contacter pour avoir plus d'infos.

beaucoup

[Jean-Marc.Bourguet]

je cherche un algo pour passer un arbre sous forme SSA sans avoir à calculer les listes des dominateurs pour chaque noeud

J'ai fait quelque chose de semblable en utilisant de l'interpretation symbolique.

[gorgonite]

J'ai fait quelque chose de semblable en utilisant de l'interpretation symbolique.

conceptuellement, ça m'intéressera sûrement...

[Jean-Marc.Bourguet]

conceptuellement, ça m'intéressera sûrement...

J'ai pas trop le temps d'expliquer en detail en quoi ca consiste. Mais "symbolic evaluation" est un mot cle que tu peux mettre dans un moteur de recherche adequat et ca devrait te donner quelques liens interessants. A moins que je n'ai pas compris ton probleme.