News for hackers. Stuff that matters.
Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by fernly on Wednesday April 24, 2019 @12:01AM (#19735455)
Oh! That's the IBM Journal article! Hah, suck on that, IEEE.

Also, note, the formal description is claimed to be executable code (by an APL interpreter).

There are no comments on this comment yet.