US Patent 11157250 Inductive equivalence in machine-based instruction editing

Computer software development has produced many advances within computer science and in most aspects of modern society. Even with modern quality control, bug finding, and other code checking applications, computer software is often less than ideal. A developer may write code that is functionally accurate but lacks security, documentation, speed, storage, reusability, and/or other elements that may make a segment of software code less than ideal. Identifying equivalent code, within a defined hypothesis strength and/or resource limitation, and, when found, replacing it with a vetted equivalent promotes the deployment of software that is more robust, secure, usable and reusable, and/or satisfies performance or other objectives.