For sure, I agree that interpretation is critical for computing systems like operating systems and compilers. I have been extremely pleased that most of the rec

For sure, I agree that interpretation is critical for computing systems like operating systems and compilers. I have been extremely pleased that most of the recent popular SysML research readily trades correctness for understandability. Likewise, I have also been pleased that correctness is often traded for performance.