Maria João Frade, Ando Saabas, Tarmo Uustalu. Bidirectional data-flow analyses, type-systematically. In Germán Puebla, Germán Vidal, editors, Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. pages 141-150, ACM, 2009. [doi]
Abstract is missing.