Coroutine-like features and side-ways information passing are ubiquitous in modern programming languages, where they present many programming advantages. Yet, program analyses are ill-equipped to deal with them. As a consequence, programmers get uselessly weak analysis feedback and no compiler optimizations. To remedy the situation this project develops reasoning techniques for coroutine-like programming language constructs.