US Patent Issued to Oracle International on Oct. 21 for "Modeling java source code in a symbolic description language" (California Inventor)

ALEXANDRIA, Va., Oct. 28 -- United States Patent no. 12,450,045, issued on Oct. 21, was assigned to Oracle International Corp. (Redwood Shores, Calif.).

"Modeling java source code in a symbolic description language" was invented by Paul D. Sandoz (Campbell, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "Techniques for modeling Java source code in a symbolic description language are disclosed, including: obtaining a set of Java source code; determining that the set of Java source code includes a user-defined type; determining that the set of Java source code includes a loop; generating, based on the set of Java source code, a symbolic description language (SDL) model including an SDL representation of ...