While Language Abstract (and Concrete) Interpreter