tobast/mpri-absint-article
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Compare commits

base: tobast:04ec7b70d08c5233f35a09dc09670df6783798df
Branches Tags
tobast:master
...
compare: tobast:227f6ceed340a004a04697866daf551537484e39
Branches Tags
tobast:master

No commits in common. "04ec7b70d08c5233f35a09dc09670df6783798df" and "227f6ceed340a004a04697866daf551537484e39" have entirely different histories.
04ec7b70d0 ... 227f6ceed3

1 changed files with 4 additions and 0 deletions
Show stats Expand all files Collapse all files

4
README.md
View file

@ -1,2 +1,6 @@
# 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)