Describir: Program Analysis and Compilation, Theory and Practice