Static Region Analysis for Mercury.

Quan Phan, Gerda Janssens

Browse the full ICLP paper archive.