typing local control and state using flow analysis 1220487 published presentations and documents on DocSlides.