Separation constraint partitioning -- A new algorithm for partitioning non-strict programs into sequential threads (0)

by Klaus E Schauser, David E Culler, Seth C Goldstein
Venue:In the 22nd ACM SIGPLANSIGACT on Principles of Programming Languages