1 paper
Lefteris Lazaropoulos, Zoe Paraskevopoulou
Relating executable code to a high-level model of its behavior has been a central concern of programming-language research for decades. Formally verified compilers, translation val…