1 January 2020

The journal article “From CIL to Java bytecode: Semantics-based translation for static analysis leveraging”, by Ferrara, P., Cortesi, A., Spoto, F., has just been published in “Science of Computer Programming”! Available here.