Specs driven meta-programming