Towards Abstract Interpretation for Recovering Design Information

Coen De Roover, Kris Gybels, Theo D'Hondt. Towards Abstract Interpretation for Recovering Design Information. Electronic Notes in Theoretical Computer Science, 131:15-25, 2005. [doi]

Abstract

Abstract is missing.