Programmable program synthesis

DOI10.1007/978-3-030-81685-8_4zbMath1493.68052OpenAlexW3186343449MaRDI QIDQ832155

Loris D'Antoni, Jinwoo Kim, Qinheping Hu, Thomas W. Reps

Publication date: 25 March 2022

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01)

Uses Software

• LLVM
• Spacer
• GitHub
• Qlose
• YACC
• Rosette
• FlashMeta

Cites Work

• SMT-based model checking for recursive programs
• Synthesis with asymptotic resource bounds
• Counterexample-guided quantifier instantiation for synthesis in SMT
• Scaling Enumerative Program Synthesis via Divide and Conquer
• Syntax-guided synthesis with quantitative syntactic objectives
• Unnamed Item

This page was built for publication: Programmable program synthesis