Validating low-level instructions for fixnums using BDDs. - Shingo Yuasa; Masahiro Yasugi (ILC, 2010)