Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Criteria are suggested for determining if a statement is a folk theorem. The ideas are then illustrated with a detailed example from the theory of programming. © 1980, ACM. All rights reserved.
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Bowen Zhou, Bing Xiang, et al.
SSST 2008
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006