![](/img/cover-not-exists.png)
[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Verifying programs via iterated specialization
De Angelis, Emanuele, Fioravanti, Fabio, Pettorossi, Alberto, Proietti, MaurizioYear:
2013
Language:
english
DOI:
10.1145/2426890.2426899
File:
PDF, 564 KB
english, 2013