Proving Copyless Message Passing.

Jules Villard, tienne Lozes, Cristiano Calcagno

Browse the full APLAS paper archive.