Well... for me it seems a bit silly. Abstract interpretation as part of formal methods requires mathematical rigor (albeit some of it quite simple and intuitive) but interpretation I’d argue is up to the interpretator.
I agree with the mathematical rigor required for abstract interpretation. I am arguing that there is a lot of value in thinking about programs that operate on other programs as interpreters. Essentially interpreter doesn't have to be equivalent to the evaluation of a program.
