Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Paper
Notation as a Tool of Thought
Related
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Nanda Kambhatla
ACL 2004
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Nanda Kambhatla
ACL 2004
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010