Précédent : Résultats nouveaux Remonter : Résultats nouveaux Suivant : Normalisation forte
Précédent : Résultats nouveaux
Remonter : Résultats nouveaux
Suivant : Normalisation forte
Mots clés : Substitution explicite, transformation des programmes, normalisation des preuves, réécriture, systèmes de types .
Une première étude a abouti à la définition de
qui est un
cadre pour des calculs à objets prenant en compte à la fois les
langages à objets mutables et les langages à objets non mutables,
ainsi que les langages à délégation et les langages à
plongement []. Ce cadre a été formalisé dans un article
qui en présente la problématique sous-jacente []. En
parallèle, une autre étude a porté sur les systèmes de réécriture de
termes avec adresses [].