Higher Order Function Synthesis Through Proof Planning

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	307-310
Number of pages	4
Publication status	Published - 2001
Event	Proceedings of the 16th Annual International Conference on Automated Software Engineering - San Diego, United States Duration: 1 Jan 2001 → …

Conference	Proceedings of the 16th Annual International Conference on Automated Software Engineering
Abbreviated title	ASE 2001
Country/Territory	United States
City	San Diego
Period	1/01/01 → …

Cite this

@conference{ac8ae76a05f746ab99125f0f076886e8,

title = "Higher Order Function Synthesis Through Proof Planning",

author = "A Cook and Andrew Ireland and Michaelson, \{Gregory John\}",

year = "2001",

language = "English",

pages = "307--310",

note = "Proceedings of the 16th Annual International Conference on Automated Software Engineering, ASE 2001 ; Conference date: 01-01-2001",

}