Other

The Sketching Approach to Program Synthesis

Armando Solar-Lezama

Venue

Lecture notes in computer science

Published

2009-01-01

DOI

10.1007/978-3-642-10672-9_3

Pages

4-13

• and type systems
• Embedded Systems Design Techniques
• Logic
• Logic, programming, and type systems
• Parallel Computing and Optimization Techniques
• programming