Talk:Syntactic methods
Add topicLatest comment: 19 years ago by EdJohnston in topic A strange article
 | This article has not yet been rated on Wikipedia's content assessment scale. |
I've added some general references. Finding the specific references for the various parts of the article needs someone a little more expert. DGG 01:06, 20 May 2007 (UTC)
A strange article
[edit]Syntactic methods for what? The original author seemed to mean 'syntactic methods for program verification', but he had an extremely specific idea, one that might have been written up in a research paper of his own. I don't think he is referring to any actual sub-field that would be recognized by other software engineers. Though DGG was helpful in trying to fix it up, I'm afraid this is putting lipstick on a pig. AfD might be kinder. The two external links, while plausible, don't have much to do with the article as currently written. EdJohnston 01:51, 20 May 2007 (UTC)