Philip Wadler
Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation
ISMM, 1995.
@inproceedings{IWMM-1995-Wadler, author = "Philip Wadler", booktitle = "{Proceedings of the Second International Workshop on Memory Management}", doi = "10.1007/3-540-60368-9_20", isbn = "3-540-60368-9", pages = "117", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation}", volume = 986, year = 1995, }