Talk:Automatic programming

Merge

These four (count 'em four) articles are all very closely related and all terribly short. I think they could really be handled by one article. ---- CharlesGillingham 05:58, 26 August 2007 (UTC)[reply]

Disagree. Program synthesis from nonalgorithmic specifications is an *entirely* different beast, researched from the 60s, and one for which no good solution exists yet. In essence it's formal verification taken further. As a research subject I'm sure it merits its own article given the amount of research --SLi 18:16, 26 August 2007 (UTC)[reply]

Thanks for responding. Would you agree to merging the other three? Is there a better general term than "automatic programming" that covers these? ---- CharlesGillingham 23:21, 26 August 2007 (UTC)[reply]

More about the merge

I'm picturing an article with separate sections for each of these research areas, and an introduction that distinguishes them and puts them in context with related things like Computer aided software engineering and Formal methods. ---- CharlesGillingham 23:21, 26 August 2007 (UTC)[reply]