23 citations · 25 across the 4 of their papers we have counts for
1 paper · 1 filter
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…