从框架草图和石蕊测试合成记忆模型PDF书籍下载

原名:Synthesizing Memory Models from Framework Sketches and Litmus Tests
15 Pages·2017·321 KB·New!

作品简介:有效解决 SMT 约束。 MemSynth 分层了一个专门的 MemSynth 合成器将一个框架草图和一组……