Jean-Pierre Jouannaud, Weiwen Xu. Automatic Complexity Analysis for Programs Extracted from Coq Proof. Electronic Notes in Theoretical Computer Science, 153(1):35-53, 2006. [doi]
@article{JouannaudX06,
title = {Automatic Complexity Analysis for Programs Extracted from Coq Proof},
author = {Jean-Pierre Jouannaud and Weiwen Xu},
year = {2006},
doi = {10.1016/j.entcs.2005.08.005},
url = {http://dx.doi.org/10.1016/j.entcs.2005.08.005},
tags = {program analysis, analysis},
researchr = {https://researchr.org/publication/JouannaudX06},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {1},
pages = {35-53},
}