1 January 2012

The journal article “Abstract interpretation of database query languages”, by Halder, R., Cortesi, A., has just been published in “Computer Languages, Systems and Structures”! Available here.