搜索结果: 1-1 共查到“软件开发环境与开发技术 x86-64”相关记录1条 . 查询时间(0.046 秒)
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...