Relational cost analysis

Çiçek, Ezgi and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Hoffmann, Jan
(2017) Relational cost analysis.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item