A Pure Demand Operational Semantics with Applications to Program Analysis. - Scott F. Smith 001; Robert Zhang 003 (Proc. ACM Program. Lang., 2024)