Static Analysis of Graph Database Transformations.

Iovka Boneva, Benot Groz, Jan Hidders, Filip Murlak, Slawek Staworko

Browse the full PODS paper archive.