The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Dec. 10, 2024
Filed:
Mar. 18, 2022
Michael Ling, Kingston, CA;
Yijun Yu, Milton Keynes, GB;
Haitao Wu, Kingston, CA;
Yuan Wang, Kingston, CA;
Ahmed E. Hassan, Kingston, CA;
Michael Ling, Kingston, CA;
Yijun Yu, Milton Keynes, GB;
Haitao Wu, Kingston, CA;
Yuan Wang, Kingston, CA;
Ahmed E. Hassan, Kingston, CA;
HUAWEI TECHNOLOGIES CO., LTD., Shenzhen, CN;
Abstract
Methods, devices and media for two-pass source code transformation from a first high-level programming language to a second high-level programming language are described. Two different source code transformation technologies are combined to produce a two-pass source code transformation method: a compiler-based source code transformation technique is used in a first pass, and a parse-tree-based source code transformation technique is used in second pass. The second pass may be used to automatically refactor the source code to enhance desired properties of the second programming language. A two-pass C-to-Rust transformation technique, CRustS, is described which automatically generates Rust source code that exhibits memory safety and overcomes other limitations of existing tools such as C2Rust.