An Accurate Type System for Information Flow in Presence of Arrays.

Sverine Fratani, Jean-Marc Talbot

Browse the full FORTE paper archive.