Narrowing data-structures with pointers (2006)

by R Echahed, N Peltier
Venue:In ICGT’06: Proceedings of the Third International Conference on Graph Transformations, volume 4178 of LNCS