7 lines
254 B
Markdown
7 lines
254 B
Markdown
|
# mpri-absint-article
|
||
|
|
|
||
|
|
Article presentation for "Tracing compilation by abstract interpretation",
|
||
|
|
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato.
|
||
|
|
|
||
|
|
[Fulltext version](https://www.microsoft.com/en-us/research/wp-content/uploads/2014/01/popl14.pdf)
|