Intellectual Property India Publishes Patent Application for System And Method For Certified Program Optimization Using Staged Fold Analysis Over Equivalence Graphs

MUMBAI, India, Sept. 14 -- Intellectual Property India has published a patent application (202611087037 A) filed by Noida Institute Of Engineering And Technology Niet on July 16, 2026, for System And Method For Certified Program Optimization Using Staged Fold Analysis Over Equivalence Graphs.

Inventors include Ms. Vaishali Mishra; and Dr. Rashmi Sharma.

The application for the patent was published on September 11, 2026, under issue no. 37/2026.

Abstract: A proof-carrying compiler optimization system (100) and method are disclosed. A front-end interface module (110) normalizes domain-specific language programs into typed terms, an equivalence graph construction engine (120) encodes them as e-classes and e-nodes, and a declarative rewrite ...