Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Emotion Recognition in Sentences - A Recurrent Neural Network Approach Read chapter Read first chapter

2020 | OriginalPaper | Chapter

Program Synthesis: Synthesizing Operators for Integer Manipulation

Authors : Jayasurya Seenuvasan, Shalini Sai Prasad, N. S. Kumar

Published in: Computational Intelligence in Data Science

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter A Machine Learning Study of Comorbidity of Dyslexia and Attention Deficiency Hyperactivity Disorder
next chapter Location Based Recommender Systems (LBRS) – A Review
Literature
1.
Friedman, J.: Application of recursive arithmetic to the problem of circuit synthesis. J. Symb. Logic 28, 289–290 (1963). Review: Alonzo Church. Summaries of talks presented at the Summer Institute for Symbolic Logic Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N. J., 1960, pp. 3–50. 3a–45aCrossRef
2.
Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL11), 26–28 January 2011, Austin, Texas, USA. Association for Computing Machinery, New York (2011)
3.
4.
Balog, M., Gaunt, A.L., Brockschmidt, M.L., Nowozin, S.L., Tarlow, D.L.: DeepCoder: learning to write programs. In: International Conference on Learning Representations, Toulon, France, 24–26 April (2017)
5.
6.
7.
Gulwani, S., Polozov, O., Singh, R.: Program Synthesis. Now Publishers Inc., Boston (2017)CrossRef
8.
Jha, S.A., Gulwani, S.A., Seshia, S.A., Tiwari, A.A.: Oracle-guided component-based program synthesis. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE 2010, vol. 1, pp. 215–224 (2010)
9.
Barrett, C., Sebastiani, R., Seshia, S., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, vol. 185, pp. 825–885 (2009)
Metadata
Title
Program Synthesis: Synthesizing Operators for Integer Manipulation
Authors
Jayasurya Seenuvasan
Shalini Sai Prasad
N. S. Kumar
Copyright Year
2020
Book
Computational Intelligence in Data Science

Print ISBN: 978-3-030-63466-7

Electronic ISBN: 978-3-030-63467-4

Copyright Year: 2020

DOI
https://doi.org/10.1007/978-3-030-63467-4_26

Premium Partner

    Image Credits