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 CalChris on Tuesday April 23, 2019 @07:10PM (#19733936)
The 360 ISA is a lot smaller than x86_64.

https://www.cs.trinity.edu/~jhowland/class.files.cs2321.html...

[ Parent | on HN ]
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).

[ Parent | on HN ]