2017-01-01

Relational cost analysis

Tags

Trustworthy Information Processing

Conference / Medium

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)

Date published

2017-01-01

Date last modified

2019-07-18 12:09:25

Authors

Ezgi Çiçek
Gilles Barthe
Marco Gaboardi
Deepak Garg
Jan Hoffmann

Download