HOL (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "HOL" in Russian language version.

refsWebsite

Global rank Russian rank

1^st place

670^th place

1,461^st place

low place

2^nd place

3^rd place

1,306^th place

2,131^st place

cakeml.org

CakeML (неопр.). Дата обращения: 25 ноября 2020. Архивировано 14 сентября 2020 года.

Magnus O. Myreen; Michael J. C. Gordon. Verified LISP Implementations on ARM, x86 and PowerPC (PDF). TPHOLs 2009. pp. 359—374. Архивировано из оригинала (PDF) 9 ноября 2020. Дата обращения: 25 ноября 2020.
Peter Sewell; Susmit Sarkar; Scott Owens; Francesco Zappa Nardelli; Magnus O. Myreen (2010). "x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors" (PDF). Communications of the ACM. 53 (7): 89—97. doi:10.1145/1785414.1785443. Архивировано (PDF) 30 ноября 2020. Дата обращения: 25 ноября 2020.

Peter Sewell; Susmit Sarkar; Scott Owens; Francesco Zappa Nardelli; Magnus O. Myreen (2010). "x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors" (PDF). Communications of the ACM. 53 (7): 89—97. doi:10.1145/1785414.1785443. Архивировано (PDF) 30 ноября 2020. Дата обращения: 25 ноября 2020.

Jade Alglave; Anthony C. J. Fox; Samin Ishtiaq; Magnus O. Myreen; Susmit Sarkar; Peter Sewell; Francesco Zappa Nardelli. The Semantics of Power and ARM Multiprocessor Machine Code (PDF). DAMP 2009. pp. 13—24. Архивировано из оригинала (PDF) 19 сентября 2020. Дата обращения: 25 ноября 2020.

CakeML (неопр.). Дата обращения: 25 ноября 2020. Архивировано 14 сентября 2020 года.
Magnus O. Myreen; Michael J. C. Gordon. Verified LISP Implementations on ARM, x86 and PowerPC (PDF). TPHOLs 2009. pp. 359—374. Архивировано из оригинала (PDF) 9 ноября 2020. Дата обращения: 25 ноября 2020.
Peter Sewell; Susmit Sarkar; Scott Owens; Francesco Zappa Nardelli; Magnus O. Myreen (2010). "x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors" (PDF). Communications of the ACM. 53 (7): 89—97. doi:10.1145/1785414.1785443. Архивировано (PDF) 30 ноября 2020. Дата обращения: 25 ноября 2020.
Jade Alglave; Anthony C. J. Fox; Samin Ishtiaq; Magnus O. Myreen; Susmit Sarkar; Peter Sewell; Francesco Zappa Nardelli. The Semantics of Power and ARM Multiprocessor Machine Code (PDF). DAMP 2009. pp. 13—24. Архивировано из оригинала (PDF) 19 сентября 2020. Дата обращения: 25 ноября 2020.