Daniel Seidel, Janis Voigtländer. Automatically Generating Counterexamples to Naive Free Theorems. In Matthias Blume, Naoki Kobayashi, Germán Vidal, editors, Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Volume 6009 of Lecture Notes in Computer Science, pages 175-190, Springer, 2010. [doi]
@inproceedings{SV10,
title = {Automatically Generating Counterexamples to Naive Free Theorems},
author = {Daniel Seidel and Janis Voigtländer},
year = {2010},
doi = {10.1007/978-3-642-12251-4_14},
url = {http://dx.doi.org/10.1007/978-3-642-12251-4_14},
tags = {programming languages, type system, programming, context-aware, search},
researchr = {https://researchr.org/publication/SV10},
cites = {0},
citedby = {0},
pages = {175-190},
booktitle = {Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings},
editor = {Matthias Blume and Naoki Kobayashi and Germán Vidal},
volume = {6009},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-12250-7},
}