A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis.

John Field

Browse the full PEPM paper archive.