Théophile Bastian 4bf67a0aa0 | ||
---|---|---|
img | ||
.gitignore | ||
Makefile | ||
README.md | ||
article.pdf | ||
math.sty | ||
my_listings.sty | ||
slides.tex |
README.md
mpri-absint-article
Article presentation for "Tracing compilation by abstract interpretation", Stefano Dissegna, Francesco Logozzo, Francesco Ranzato.