Add to ORKGAbstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. Our ap-proach takes into account polymorphic type constraints as well as code behavior. We have found our system to be useful for synthesizing code fragments for common programming tasks, and we believe it is a good platform for exploring software synthesis techniques.
Motivated by improvements in constraint-solving technology and by the increase of routinely availabl...
Program reasoning consists of the tasks of automatically and statically ver-ifying correctness and i...
This thesis presents two approaches to code generation (synthesis) along with a discussion of other ...
Synthesis of program fragments from specifications can make programs easier to write and easier to r...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
Program synthesis is the process of developing a computer program automatically from a specification...
We present a framework for code generation that allows programs to manipulate and generate code at t...
Thesis (Ph.D.)--University of Washington, 2015Program synthesis is a family of techniques that gener...
We present a framework for code generation that allows programs to manipulate and generate code at t...
Synthesis of program fragments from specifications can make programs easier to write and easier to r...
There are many tools that help programmers find code fragments, but most are inexpressive and rely o...
Many code fragments are difficult to write. For example, using new and unfamiliar APIs can be a com...
Program synthesis is a promising area of research concerned with automatically producing program imp...
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Comp...
Abstract. In this paper, we propose a unified framework for designing static analysers based on prog...
Motivated by improvements in constraint-solving technology and by the increase of routinely availabl...
Program reasoning consists of the tasks of automatically and statically ver-ifying correctness and i...
This thesis presents two approaches to code generation (synthesis) along with a discussion of other ...
Synthesis of program fragments from specifications can make programs easier to write and easier to r...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
Program synthesis is the process of developing a computer program automatically from a specification...
We present a framework for code generation that allows programs to manipulate and generate code at t...
Thesis (Ph.D.)--University of Washington, 2015Program synthesis is a family of techniques that gener...
We present a framework for code generation that allows programs to manipulate and generate code at t...
Synthesis of program fragments from specifications can make programs easier to write and easier to r...
There are many tools that help programmers find code fragments, but most are inexpressive and rely o...
Many code fragments are difficult to write. For example, using new and unfamiliar APIs can be a com...
Program synthesis is a promising area of research concerned with automatically producing program imp...
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Comp...
Abstract. In this paper, we propose a unified framework for designing static analysers based on prog...
Motivated by improvements in constraint-solving technology and by the increase of routinely availabl...
Program reasoning consists of the tasks of automatically and statically ver-ifying correctness and i...
This thesis presents two approaches to code generation (synthesis) along with a discussion of other ...