Talk:Abstract interpretation

From Wikipedia, the free encyclopedia

The tools added by 212.82.36.34 to this page refer to the commercial products of one (or two?) compiler vendor(s?). People in the program analysis research community do not cuonsider these tools to be "standards" of any kind; there are dozens or hundreds of little compiler vendors in the world; these particular links are of little more encyclopedic interest than, say, your neighborhood plumber's web site. Hence, linking them up here may not be appropriate. At least, they should be clearly labeled as one set of commercial tools among many. See also similar edit to Optimization (computer science). k.lee 06:59, 15 Aug 2003 (UTC)

Be they spam or not, if they're obscure products, they shouldn't be listed unless those famous ones are listed as well. --Menchi 06:40, Aug 19, 2003 (UTC)

---

Update: It appears that all of the contributions made on August 14 by 212.82.36.34 are links to commercial products by the same company, AbsInt. See, e.g., the edit to dinosaur --- in this case the page that it links to isn't even very informative: you have to click special links to get any graph that actually gives you any information, and the only complete version of the linked graph is in formats that most users will not be able to view.

Additionally, 212.82.36.34 is refusing reverse DNS lookups, but from here www.aisee.com is resolving 212.82.32.59, which is on the same subnet. I now strongly suspect that this is spam, or at least a well-meaning but misguided individual affiliated with this company. k.lee 07:08, 15 Aug 2003 (UTC)

---

Two relevant points from the What Wikipedia is not page

• Mere collections of external links. (But of course there's nothing wrong with adding both lists of links and lists of on-line references you used in writing an article.)

• A vehicle for advertising. We don't need articles on items just because a contributor is associated with them. However, commercial links are certainly OK if they can serve to identify major corporations associated with a topic.

And from the talk page of What Wikipedia is not;

• Do we have a policy on users who merely spend their time adding weblinks to one company, presumably in an attempt at promotion? For example, user:203.35.82.3 has added lots of e-text external links to the same company - how to handle this? Martin

• In this case, I think the links should be replaced with links to a non-commercial source (e.g. Gutenberg) ASAP, but they're OK for the time being. What would be a reason for banning is if he replaced links to non-commercial sources with commercial ones. --Eloquence 19:00 Feb 27, 2003 (UTC)

Angela 01:00, 19 Aug 2003 (UTC)

---

If the tools are non-standard, they should go, I reckon. Martin 13:57, 24 Aug 2003 (UTC)

AbsInt makes fairly interesting abstract interpretation-based static analysis tools, but they're not the only ones and their tools are not "standard" in any way. David.Monniaux 08:35, 22 Apr 2004 (UTC)

[edit] Definition of "valid abstraction"

There is a problem with this definition: the function γ is not defined or quantified over, so we have no idea what it is. From notation used in the preceding paragraph, I would presume it's a concretization function, but we don't know.

Let L₁, L₂, L′₁ and L′₂ be ordered sets. The concrete semantics f is a monotonic function from L₁ to L₂. A function f′ from L′₁ to L′₂ is said to be a valid abstraction of f if for all x′ in L′₁, (f ∘ γ)(x′) ≤ (γ ∘ f′)(x′).

--saf 06:32, 19 October 2006 (UTC)