Travelled to:
1 × USA
Collaborated with:
M.Yasugi
Talks about:
instruct (1) fixnum (1) valid (1) level (1) bdds (1) use (1) low (1)
Person: Shingo Yuasa
DBLP: Yuasa:Shingo
Contributed to:
Wrote 1 papers:
- ILC-2010-YuasaY #low level #using #validation
- Validating low-level instructions for fixnums using BDDs (SY, MY), pp. 11–20.