A simple rewriting semantics for realistic imperative programs and its application to program analysis (1990)

by J Field
Venue:In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation