Simon M. Kaplan

• Incremental attribute evaluation in distributed language-based environments
• Incremental attribute evaluation on node-label controlled graphs
• Specification and verification of context conditions for programming languages
• Verification of recursive programs