Validating low-level instructions for fixnums using BDDs.

Shingo Yuasa Masahiro Yasugi

Published in: ILC (2010)

Keyphrases

low level
high level
higher level
heuristic search
low level features
binary decision diagrams
visual information
lower level
set bounds propagation
figure ground
mid level
visual features
visual cues
data sets
timed automata
database
programming language
audio features
databases