Automatically transform pass-by-value semantics into pass-by-reference implementation

Abstract

System and method for compiling a program, including determining one or more program structures containing one or more variables at the entry and exit of each program structure, wherein each variable specifies a value transfer operation of one or more source variables to a destination variable between outside the program structure and inside the program structure. A subset of the destination variables may be determined for which assigning the destination variable to a memory resource of a corresponding source variable does not disrupt the functionality of the program. Implementation of the value transfer operations may be executable to map each of the determined subset of destination variables to a respective memory resource. The mapping may be dynamically changed, thereby transferring the value from the first source variable to the destination variable without copying the value between the memory resources.