HQ interface's an API proposition for the APRON project that I participated in.
Browse the description
Browse the documentation
And some presentations about it:
Présentation sur les problèmes de compatibilité entre librairies existantes et avec la proposition d'interface générique (in French).
Présentation Vers une implémentation générique validée expérimentalement des domaines abstraits?