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

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