C B Jay, D Clarke and J Edwards "Shape Analysis for Parallel Computing"

(1997)

Languages mentioned