Research(Analysis last run in January 2008)2005--2007: 'separation logic'; 'fine-grained concurrency'; 'non-blocking stack'; 'modular safety'; 'semantic definition'; 'core design'; 'j}ava m}odule s}ystem'; 'class invariants'; 'program logic'; 'local reasoning'; 'permission accounting'; 'modular verification';
2000--2004: 'imperative core calculus'; 'core java calculus'; 'effect inference';
| |
|