Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely on formal semantics of instruction sets, but different tools can use semantics in rather different ways. The best-known...
| Main Authors: | , , , , , , |
|---|---|
| 其他作者: | |
| 格式: | 文件 |
| 语言: | English |
| 出版: |
ACM
2023
|
| 在线阅读: | https://hdl.handle.net/1721.1/152335 |