Abstract interpretation.md « research « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/research/Abstract interpretation.md

blob: d98525f7ca941eb2d7ef521f1aa4fc800c91070c (plain)

# Reference

1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8)