Program Synthesis: Synthesizing Operators for Integer Manipulation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Program Synthesis: Synthesizing Operators for Integer Manipulation

Jayasurya Seenuvasan
  • Function : Author
  • PersonId : 1117222
Shalini Sai Prasad
  • Function : Author
  • PersonId : 1117223
N. S. Kumar
  • Function : Author
  • PersonId : 1117224


We describe a language to synthesize a linear sequence of arithmetic operations for integer manipulation. Given an input-output example, our language synthesizes a set of operators to be applied to the input integers to obtain the given output. The sequence is generated by using Microsoft Prose, a program synthesis framework and the Genetic Algorithm. Our approach generates a set of ranked solutions that can be made unique on additional input-output examples that are consistent.
Fichier principal
Vignette du fichier
507484_1_En_26_Chapter.pdf (204.75 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03434779 , version 1 (18-11-2021)





Jayasurya Seenuvasan, Shalini Sai Prasad, N. S. Kumar. Program Synthesis: Synthesizing Operators for Integer Manipulation. 3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.312-319, ⟨10.1007/978-3-030-63467-4_26⟩. ⟨hal-03434779⟩
26 View
10 Download



Gmail Facebook X LinkedIn More