Solving Program Sketches with Large Integer Values

DOI10.1007/978-3-030-44914-8_21OpenAlexW3017057770MaRDI QIDQ5041112

Rishabh Singh, Loris D'Antoni, Rong Pan, Qinheping Hu

Publication date: 13 October 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-44914-8_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Qlose

Cites Work

• Unnamed Item
• Polynomial invariants by linear algebra
• Estimates of $\psi ,\theta $ for large values of $x$ without the Riemann hypothesis
• Transforming spreadsheet data types using examples
• Program Synthesis Using Dual Interpretation
• Automating string processing in spreadsheets using input-output examples

This page was built for publication: Solving Program Sketches with Large Integer Values