Program Synthesis from Polymorphic Refinement Types

@inproceedings{Polikarpova2016ProgramSF,
  title={Program Synthesis from Polymorphic Refinement Types},
  author={Nadia Polikarpova and Armando Solar-Lezama},
  booktitle={PLDI},
  year={2016}
}
We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. We observe that such specifications are particularly suitable for program synthesis for two reasons. First, they offer a unique combination of expressive power and decidability, which enables automatic verification—and hence synthesis—of nontrivial programs. Second, a type-based specification for a program can often be effectively decomposed into… CONTINUE READING
Highly Cited
This paper has 58 citations. REVIEW CITATIONS
41 Citations
5 References
Similar Papers

Citations

Publications citing this paper.

59 Citations

0102030201620172018
Citations per Year
Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Liquid types

  • P. M. Rondon, M. Kawaguchi, R. Jhala
  • Proceedings of the ACM SIGPLAN 2008 Conference on…
  • 2008
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…