Thomas P. Jensen. Abstract Interpretation over Algebraic Data Types. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. IEEE Computer Society, 1994.
@inproceedings{Jensen94:1, title = {Abstract Interpretation over Algebraic Data Types}, author = {Thomas P. Jensen}, year = {1994}, tags = {data-flow, algebra}, researchr = {https://researchr.org/publication/Jensen94%3A1}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France}, editor = {Henri E. Bal}, publisher = {IEEE Computer Society}, }