ACL2 (English Wikipedia)

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

Last modified: 21:16:57, 23 April 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

868^th place

634^th place

1^st place

1,200^th place

821^st place

299^th place

159^th place

acm.org (Global: 1,200^th place; English: 821^st place)

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

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. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

"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.