Analyzing the environment structure of higher-order languages using frame strings

Matthew Might, Olin Shivers. Analyzing the environment structure of higher-order languages using frame strings. Theoretical Computer Science, 375(1-3):137-168, 2007. [doi]

Authors

Matthew Might

This author has not been identified. Look up 'Matthew Might' in Google

Olin Shivers

This author has not been identified. Look up 'Olin Shivers' in Google