Bootstrapping library-based synthesis

DOI10.1007/978-3-031-22308-2_13zbMath1524.68091MaRDI QIDQ6164431

Xiaokang Qiu, Kangjing Huang

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

zbMATH Keywords

Javaprogram synthesislibrariesprogram sketching

Mathematics Subject Classification ID

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

Cites Work

• Fixing code that explodes under symbolic evaluation
• Satisfiability and synthesis modulo oracles
• Look for the proof to find the program: decorated-component-based program synthesis
• Program synthesis with equivalence reduction
• The Daikon system for dynamic detection of likely invariants
• Specification Inference Using Context-Free Language Reachability
• Fiat
• Learning programs from noisy data
• Modular Synthesis of Sketches Using Models
• Synthesis from Component Libraries
• Mining specifications
• Programming with angelic nondeterminism
• Component-based synthesis for complex APIs
• Nondeterministic Algorithms