… approach, we propose an open compiler model based on normalization steps from … compilation or to make use of low-level primitives of the platform (e.g., jump …

… include compilation, optimization, synthesis, refactoring, migration, normalization and improvement [15]. Rewrite rules are a natural formalism for expressing … for normalizing a program with a set of rewrite rules is not adequate for implementing program …