Program Synthesis: Synthesizing Operators for Integer Manipulation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Program Synthesis: Synthesizing Operators for Integer Manipulation

Jayasurya Seenuvasan
  • Fonction : Auteur
  • PersonId : 1117222
Shalini Sai Prasad
  • Fonction : Auteur
  • PersonId : 1117223
N. S. Kumar
  • Fonction : Auteur
  • PersonId : 1117224

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
28 Consultations
20 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More