Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz. Translating flowcharts to non-deterministic languages. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 155-162, ACM, 2012. [doi]
Abstract is missing.