Alain Deutsch. An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers. In PEPM. pages 226-229, 1995.
@inproceedings{Deutsch95, title = {An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers}, author = {Alain Deutsch}, year = {1995}, tags = {analysis, static analysis, data-flow, data-flow analysis}, researchr = {https://researchr.org/publication/Deutsch95}, cites = {0}, citedby = {0}, pages = {226-229}, booktitle = {PEPM}, }