Jump to content

Talk:Syntactic methods

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Qwerfjkl (bot) (talk | contribs) at 04:18, 18 August 2023 (Adding {{WikiProject banner shell}} (Task 19)). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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)[reply]

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)[reply]