In this section, we demonstrate that many of … [optimization] are legal. This is not a complete list of legal … Specifically, we demonstrate the legality of reordering two … [p. 389] We then show that reads in executions … the resulting behavior of such programs is sequentially …
Google-1
Google-2
Copyright clearance needed for quotation.