Testing noninterference, quickly - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos. Testing noninterference, quickly. In Greg Morrisett, Tarmo Uustalu, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. pages 455-468, ACM, 2013. [doi]

This author has not been identified. Look up 'Catalin Hritcu' in GoogleIdentified as John Hughes Identified as Benjamin C. Pierce This author has not been identified. Look up 'Antal Spector-Zabusky' in GoogleThis author has not been identified. It may be one of the following persons:

Dimitrios Vytiniotis

Look up 'Dimitrios Vytiniotis' in GoogleThis author has not been identified. Look up 'Arthur Azevedo de Amorim' in GoogleThis author has not been identified. Look up 'Leonidas Lampropoulos' in Google

runs on WebDSL