1 paper · 1 filter
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…