A relational meta-interpreter for building relational abstract interpreters from relational concrete interpreters.