Analysis of Meta-Programs