A syntactic correspondence between context-sensitive calculi and abstract machines

Malgorzata Biernacka, Olivier Danvy. A syntactic correspondence between context-sensitive calculi and abstract machines. Theoretical Computer Science, 375(1-3):76-108, 2007. [doi]

Abstract

Abstract is missing.