US Patent Issued to Oracle International on March 4 for "Cross compilation unit sparse conditional constant propagation" (American, Swiss Inventors)

ALEXANDRIA, Va., March 5 -- United States Patent no. 12,242,832, issued on March 4, was assigned to Oracle International Corp. (Redwood Shores, Calif.).

"Cross compilation unit sparse conditional constant propagation" was invented by Christian Wimmer (Foster City, Calif.) and Liviu Codrut Stancu (Zurich).

According to the abstract* released by the U.S. Patent & Trademark Office: "A flow graph of a first compilation unit of the program is expanded. The first corresponding parameter states of statements of the first compilation unit are marked as empty. The statements of the first compilation unit are processed to update the first corresponding parameter states with an exact type and a value set. Processing the statements include tracking a...