Deriving Efficient Data Movement from Decoupled Access/Execute Specifications