Linearity and iterator types for Gödel’s System Sandra AlvesMaribel FernándezIan Mackie OriginalPaper 20 August 2010 Pages: 1 - 27
Magic-sets for localised analysis of Java bytecode Fausto SpotoÉtienne Payet OriginalPaper 20 August 2010 Pages: 29 - 86
The two variable per inequality abstract domain Axel SimonAndy King OriginalPaper 18 August 2010 Pages: 87 - 143