Specifying pointer structures by graph reduction (2003)

by Adam Bakewell , Detlef Plump , Colin Runciman
Citations:18 - 6 self