constraint analysis for code generation : basic techniques and applications in facts k van eijk , b mesman , caa pinto , q zhao , m bekooij acm transactions on design automation of electronic systems , 2000.0