Program sketching

Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to manage low-level details. In sketching, the programmer uses a partial program, a sketch, to describe the desired implementation strategy, and leav...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 15; no. 5-6; pp. 475 - 495
Main Author:	Solar-Lezama, Armando
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2013 Springer Nature B.V
Subjects:	Automated Automation Computer programs Computer Science Programmers Sketches Software Software Engineering Software Engineering/Programming and Operating Systems Strategy Synthesis Synthesizers Theory of Computation Validation studies Constraint-based synthesis Synthesis SAT/SMT applications Sketching
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!