Shrobe. "Dependency Directed Reasoning in the Analysis of Programs Which Modify Complex Data Structures." International Joint Conference on Artificial Intelligence, 1979.
Markdown
[Shrobe. "Dependency Directed Reasoning in the Analysis of Programs Which Modify Complex Data Structures." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/shrobe1979ijcai-dependency/)
BibTeX
@inproceedings{shrobe1979ijcai-dependency,
title = {{Dependency Directed Reasoning in the Analysis of Programs Which Modify Complex Data Structures}},
author = {Shrobe, Howard E.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {829-835},
url = {https://mlanthology.org/ijcai/1979/shrobe1979ijcai-dependency/}
}