A logic for information flow in object-oriented programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee. A logic for information flow in object-oriented programs. In J. Gregory Morrisett, Simon L. Peyton Jones, editors, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006. pages 91-102, ACM, 2006. [doi]

This author has not been identified. Look up 'Torben Amtoft' in GoogleThis author has not been identified. Look up 'Sruthi Bandhakavi' in GoogleThis author has not been identified. Look up 'Anindya Banerjee' in Google

runs on WebDSL