Verifying programs via iterated specialization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Verifying programs via iterated specialization. In Elvira Albert, Shin-Cheng Mu, editors, Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. pages 43-52, ACM, 2013. [doi]

This author has not been identified. Look up 'Emanuele De Angelis' in GoogleThis author has not been identified. Look up 'Fabio Fioravanti' in GoogleThis author has not been identified. Look up 'Alberto Pettorossi' in GoogleThis author has not been identified. Look up 'Maurizio Proietti' in Google

runs on WebDSL