2010): Concurrent Separation Logic for Pipelined Parallelization (0)

by Christian J Bell, Andrew W Appel, David Walker
Venue:In: SAS, LNCS 6337