Jump to content

Talk:Automatic programming

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by SLi (talk | contribs) at 18:16, 26 August 2007 (→Merge: disagree wrt program synthesis). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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]
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Talk:Automatic_programming&oldid=153784299"