News for hackers. Stuff that matters.

A comment on A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture. Parent comment

Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by sidereal on Tuesday April 23, 2019 @06:38PM (#19733692)
They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page
[ Parent | on HN ]
Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by mehrdadn on Tuesday April 23, 2019 @06:39PM (#19733701)
Thank you!
[ Parent | on HN ]