TOPLAS 2007Introduction to special ESOP'05 issueMooly SagivPDFDOI 10.1145/1275497.1275498dblpBibTeXAbstractNo abstract available.