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]

Abstract

Abstract is missing.