Testing noninterference, quickly.

Catalin Hritcu Leonidas Lampropoulos Antal Spector-Zabusky Arthur Azevedo de Amorim Maxime Dénès John Hughes Benjamin C. Pierce Dimitrios Vytiniotis

Published in: J. Funct. Program. (2016)

Keyphrases