Synthesis for Mixed Arithmetic.

Anne Mignotte Jean-Michel Muller Olivier Peyran

Published in: Des. Autom. Embed. Syst. (2000)

Keyphrases

program synthesis
arithmetic operations
data sets
texture synthesis
information systems
database systems
wide range
video sequences
digital libraries
special case
mechanical devices