Modular and constraint-based information flow inference for an object-oriented language

Qi Sun, Anindya Banerjee, David A. Naumann

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

21 Scopus citations

Fingerprint

Dive into the research topics of 'Modular and constraint-based information flow inference for an object-oriented language'. Together they form a unique fingerprint.

Computer Science