I guess "program synthesis" might be a less confusing term:
http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html Very interesting topic!
I guess "program synthesis" might be a less confusing term:
http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html Very interesting topic!