4 ms·
Nice I came across this in my research, also "Automatic extraction of x86 formal semantics from its natural language description" and "A Complete Formal Semanti
by haskellandchill 4y ago
Nice I came across this in my research, also "Automatic extraction of x86 formal semantics from its natural language description" and "A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture" which summarizes some of the research.
I am trying to develop a methodology for bootstrapping a bare bones IDE on any hardware with IO. Seems impossible so I'm trying to find a similar problem that is approachable.