Hacker News
Linking pages
- The Fascinating Influence of Cyclone http://pling.jondgoodwin.com/post/cyclone/ 51 comments
- Infer# Brings Facebook's Infer Static Analyzer to C# and .NET https://www.infoq.com/news/2020/12/infersharp-sil-dotnet/ 1 comment
- PLV@MIT – A brief introduction to Iris https://plv.csail.mit.edu/blog/iris-intro.html 0 comments
Related searches:
Search whole site: site:cacm.acm.org
Search title: Separation Logic | February 2019 | Communications of the ACM
See how to search.