Talk:ATS (programming language)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computer science  
WikiProject icon This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
 ???  This article has not yet received a rating on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.

Hi there, it appears that ATS often performs better than C in the The Computer Language Benchmarks Game which I think makes it quite notable to my mind. If someone is willing to take some time to help investigate this I think it might be good! Errantkid (talk) 14:41, 23 October 2008 (UTC)

I'm not quite sure which article to link to with regard to theorem proving. Automated theorem proving does not look correct to me. Help please? Errantkid (talk) 14:36, 23 October 2008 (UTC)

I put in a link to formal verification but see also interactive theorem proving. ATS really is a pretty interesting development in this area. (talk) 04:30, 11 December 2008 (UTC)== Notability ==

Per Google Scholar, the ICFP 05 paper is cited by 70 other papers [1], plus there are dozens of related papers and articles by the same authors and by others. This passes any reasonable Wikipedia notability test for this type of subject in my understanding. (talk) 07:47, 10 December 2008 (UTC)

External links modified[edit]

Hello fellow Wikipedians,

I have just modified 7 external links on ATS (programming language). Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}).

You may set the |checked=, on this template, to true or failed to let other editors know you reviewed the change. If you find any errors, please use the tools below to fix them or call an editor by setting |needhelp= to your help request.

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

If you are unable to use these tools, you may set |needhelp=<your help request> on this template to request help from an experienced user. Please include details about your problem, to help other editors.

Cheers.—InternetArchiveBot (Report bug) 11:36, 1 October 2016 (UTC)