Code Generation from Functional to Imperative: Combining Destination-Passing Style and Views