blob: daae87e7b6d8555ba043e781f4c27a1b403a019f (
plain)
1
2
3
4
5
6
7
8
|
# Reference
0. []()
0. [Souffle: Logic Defined Static Analysis.](https://souffle-lang.github.io/index.html)
0. [Fusing Industry and Academia at GitHub (Experience Report)](https://arxiv.org/abs/2206.09206)
0. [Software can literally be perfect](https://www.youtube.com/watch?v=Lf7ML_ErWvQ)
0. [Magmide](https://github.com/magmide/magmide)
|
