Higher Order Function Synthesis Through Proof Planning

Research output: Contribution to conferencePaper

Original languageEnglish
Pages307-310
Number of pages4
Publication statusPublished - 2001
EventProceedings of the 16th Annual International Conference on Automated Software Engineering - San Diego, United States
Duration: 1 Jan 2001 → …

Conference

ConferenceProceedings of the 16th Annual International Conference on Automated Software Engineering
Abbreviated titleASE 2001
CountryUnited States
CitySan Diego
Period1/01/01 → …

Cite this

Cook, A., Ireland, A., & Michaelson, G. J. (2001). Higher Order Function Synthesis Through Proof Planning. 307-310. Paper presented at Proceedings of the 16th Annual International Conference on Automated Software Engineering, San Diego, United States.