| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4951746 | Science of Computer Programming | 2017 | 33 Pages |
Abstract
A soundness proof of the type system establishes the correctness of our technique with respect to the cost equations. We have experimentally evaluated our technique using a cost analysis solver and we report some results.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Abel Garcia, Cosimo Laneve, Michael Lienhardt,