ACL2 (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "ACL2" in English language version.

refsWebsite

Global rank English rank

916^th place

706^th place

2web.archive.org

1^st place

1^st place

1,185^th place

840^th place

207^th place

136^th place

acm.org (Global: 1,185^th place; English: 840^th place)

campus.acm.org

"ACM: Press Release, March 15, 2006". August 1, 2008. Archived from the original on 2008-08-01.

awards.acm.org

"Software System Award". ACM Awards. Association for Computing Machinery. Archived from the original on 2012-04-02. Retrieved January 14, 2012.

psu.edu (Global: 207^th place; English: 136^th place)

citeseerx.ist.psu.edu

Moore, J. Strother; Lynch, Tom; Kaufmann, Matt (1996). "A mechanically checked proof of the correctness of the kernel of the AMD5K86 floating point division algorithm". IEEE Transactions on Computers. 47. CiteSeerX 10.1.1.43.3309.

utexas.edu (Global: 916^th place; English: 706^th place)

cs.utexas.edu

"XDOC — Note-1-7". www.cs.utexas.edu.
"ACL2 Annotated Bibliography". www.cs.utexas.edu.
"ACL2 Workshops and UT ACL2 Seminar". www.cs.utexas.edu.

web.archive.org (Global: 1^st place; English: 1^st place)

"ACM: Press Release, March 15, 2006". August 1, 2008. Archived from the original on 2008-08-01.
"Software System Award". ACM Awards. Association for Computing Machinery. Archived from the original on 2012-04-02. Retrieved January 14, 2012.