paper on abstract interpretation of postscript