System and method for providing automated computer language translation and verification
AssigneeOracle International Corporation
InventorsBrian P. Conlon, Robert D. O'Connell, Jr., Mark Ivan M. Domingo
Life of this patent
Estimating the term…
Loading patent…
AssigneeOracle International Corporation
InventorsBrian P. Conlon, Robert D. O'Connell, Jr., Mark Ivan M. Domingo
Estimating the term…
Systems, methods, and other embodiments are disclosed that are configured to verify the translation of a program from a first programming language to a second programming language. In one embodiment, a first program is executed within a first thread of a process in parallel with a second program within a second thread of the process. A first source code of the first program is written in the first programming language, and a second source code of the second program is a translation of the first source code of the first program to the second programming language based on a translation process. Statement flow and program variables are compared at equivalent lines of code between the first program and the second program, during execution of the two programs in parallel, to generate execution results. The translation process is transformed, based on the execution results, facilitating correcting of the second source code.
A method implemented by a computing device, the method comprising:
A computing system, comprising:
A non-transitory computer-readable medium storing computer-executable instructions that are part of an algorithm that, when executed by a computer, cause the computer to perform functions, wherein the instructions comprise instructions configured for:
Dependencies are inferred from the claim text.