passage sous forme SSA

Salut,



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


:merci:

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.

Citation:

---

Envoyé par 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.

---

:merci: beaucoup :D

Citation:

---

Envoyé par gorgonite

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.

Citation:

---

Envoyé par Jean-Marc.Bourguet

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

---

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

Citation:

---

Envoyé par gorgonite

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.