Testing noninterference, quickly
Paper i proceeding, 2013
Författare
Catalin Hritcu
University of Pennsylvania
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik
Benjamin C. Pierce
University of Pennsylvania
Antal Spector-Zabusky
University of Pennsylvania
Dimitrios Vytiniotis
Microsoft Research
Arthur Azevedo de Amorim
University of Pennsylvania
Leonidas Lampropoulos
University of Pennsylvania
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
0362-1340 (ISSN)
Vol. 48 9 455-468Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1145/2500365.2500574
ISBN
978-1-4503-2326-0