Title: PPOPP '95 : proceedings ... July 19-21, 1995