Systeme und Verfahren zur Automatisierten Codeerzeugung zur Berechnung auf der Basis von Zugehörigen Formalen Spezifikationen

Details

Veröffentlichungs-Nr.

EP4398093

Aktenzeichen

EP23196857

Anmeldetag

12. September 2023

Veröffentlichung

12. November 2025

Erteilung

12. November 2025

Rechtsraum

EP

IPC

G06F8/30G06F16/9032G06F40/20G06F40/40G06F16/242

Abstract

Enterprise software relies on numerous types and instances of mathematical and logical calculations for proper functioning, which are formally specified in spreadsheets, known as Calculation Specification (CS) sheets, that provide illustrations of the inputs and outputs of the calculation, and are expressed in inputs and formulae applied on them to get values for outputs. The values for such inputs are retrieved by executing ad hoc queries on respective application's database. Present disclosure provides systems/methods to synthesize code using CS sheets by formulating a Programming By Example (PBE) problem for each input involved in the calculation. A query synthesis technique is then implemented that uses natural language processing and enumerative program synthesis techniques to infer queries corresponding to the PBE problem. These queries are filtered based on whether their output is consistent with expected output in PBE. Finally, the synthesized queries and calculation formulae are translated into a desired target programming language.

Anmelder

Firma

Tata Consultancy Services Limited

Land

🇮🇳 Indien

Fachgebiete