Parametric Heap Abstraction for Dynamic Language Libraries

par Arlen Cox

Thèse de doctorat en Informatique

Sous la direction de Xavier Rival et de Bor-Yuh Evan Chang.


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.