Nicholas Kidd, Akash Lal, Thomas W. Reps. Language Strength Reduction. In María Alpuente, Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Volume 5079 of Lecture Notes in Computer Science, pages 283-298, Springer, 2008. [doi]
@inproceedings{KiddLR08,
title = {Language Strength Reduction},
author = {Nicholas Kidd and Akash Lal and Thomas W. Reps},
year = {2008},
doi = {10.1007/978-3-540-69166-2_19},
url = {http://dx.doi.org/10.1007/978-3-540-69166-2_19},
researchr = {https://researchr.org/publication/KiddLR08},
cites = {0},
citedby = {0},
pages = {283-298},
booktitle = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
editor = {María Alpuente and Germán Vidal},
volume = {5079},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-69163-1},
}