Detecting stack-based environments in denotational definitions (1988)

by D A Schmidt
Venue:Science of Computer Programming