Satisfiability-based Program Reasoning and Program Synthesis

  title={Satisfiability-based Program Reasoning and Program Synthesis},
  author={Saurabh Srivastava},
Title of dissertation: SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS Saurabh Srivastava, Doctor of Philosophy, 2010 Dissertation directed by: Professor Jeffrey S. Foster Department of Computer Science Program reasoning consists of the tasks of automatically and statically verifying correctness and inferring properties of programs. Program synthesis is the task of automatically generating programs. Both program reasoning and synthesis are theoretically undecidable, but the results… CONTINUE READING
8 Extracted Citations
258 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 258 references

Uber die theorie der einfachen ungleichungen

  • J. Farkas
  • Journal fur die Reine und Angewandte Mathematik,
  • 1902
Highly Influential
20 Excerpts

Similar Papers

Loading similar papers…