Solving program sketches with large integer values

DOI10.1007/978-3-030-44914-8_21MaRDI QIDQ5041112zbMATH OpenOpenAlexFDO

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

Publication date 13 October 2022

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

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Modular synthesis of sketches using models
• Optimizing synthesis with metasketches
• From program verification to program synthesis
• Counterexample guided inductive synthesis modulo theories
• Schema-Guided Synthesis of Imperative Programs by Constraint Solving

Cites work

• Automating string processing in spreadsheets using input-output examples
• Estimates of , for large values of x without the Riemann hypothesis
• scientific article; zbMATH DE number 1822311 (Why is no real title available?)
• Polynomial invariants by linear algebra
• Program synthesis using dual interpretation
• Transforming spreadsheet data types using examples

Cited in

(1)

• Quantitative program sketching using lifted static analysis

Describes a project that uses

Uses Software

• Qlose

This page was built for publication: Solving program sketches with large integer values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5041112)