Gábor Horváth, Norbert Pataki. Source language representation of function summaries in static analysis. In Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP 2016, Rome, Italy, July 17-22, 2016. ACM, 2016. [doi]
Abstract is missing.