156 citations · 297 across the 16 of their papers we have counts for
1 paper · 2 filters
Dominique Devriese, Marco Patrignani, Frank Piessens +1
A compiler is fully-abstract if the compilation from source language programs to target language programs reflects and preserves behavioural equivalence. Such compilers have import…