Ruben Gamboa, John R. Cowles. Implementing a cost-aware evaluator for ACL2 expressions. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 71-80, ACM, 2006. [doi]
@inproceedings{GamboaC06,
title = {Implementing a cost-aware evaluator for ACL2 expressions},
author = {Ruben Gamboa and John R. Cowles},
year = {2006},
doi = {10.1145/1217975.1217991},
url = {http://doi.acm.org/10.1145/1217975.1217991},
tags = {context-aware},
researchr = {https://researchr.org/publication/GamboaC06},
cites = {0},
citedby = {0},
pages = {71-80},
booktitle = {Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006},
editor = {Panagiotis Manolios and Matthew Wilding},
publisher = {ACM},
isbn = {0-9788493-0-2},
}