@techreport{R-91-02, TITLE = {Abstract Interpretation: A Kind of Magic}, AUTHOR = {Ulf Nilsson}, YEAR = {1991}, NUMBER = {R-91-02}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-91-02}, NOTE = {Also accepted to the 3rd International Symposium on Programming Language Implementation and logic Programming (PLILP), Passau, Germany, August 26-28, 1991}