Skip to Main content Skip to Navigation
New interface
Conference papers

Program Synthesis: Synthesizing Operators for Integer Manipulation

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03434779
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2021 - 2:20:18 PM
Last modification on : Thursday, November 18, 2021 - 2:32:14 PM
Long-term archiving on: : Saturday, February 19, 2022 - 7:10:49 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

15