Specifying pointer structures by graph reduction (2003)

by Adam Bakewell , Detlef Plump , Colin Runciman
Citations:27 - 8 self