The Rust work builds on my previous work on a logic to support modular reasoning about higher-order concurrent imperative programs. The focus there was on providing simple building blocks that are powerful enough to recover more sophisticated reasoning techniques that were often axiomatized in previous logics. <br/>
For some more information, check out my <a href="https://www.ralfj.de/blog/categories/research.html">research blog</a>.</p>
The Rust work builds on my previous work on a logic to support modular reasoning about higher-order concurrent imperative programs. The focus there was on providing simple building blocks that are powerful enough to recover more sophisticated reasoning techniques that were often axiomatized in previous logics. <br/>
For some more information, check out my <a href="https://www.ralfj.de/blog/categories/research.html">research blog</a>.</p>