Philip Wadler. Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). In Henry G. Baker, editor, Memory Management, International Workshop IWMM 95, Kinross, UK, September 27-29, 1995, Proceedings. Volume 986 of Lecture Notes in Computer Science, pages 117, Springer, 1995.
@inproceedings{Wadler95, title = {Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)}, author = {Philip Wadler}, year = {1995}, tags = {analysis, static analysis}, researchr = {https://researchr.org/publication/Wadler95}, cites = {0}, citedby = {0}, pages = {117}, booktitle = {Memory Management, International Workshop IWMM 95, Kinross, UK, September 27-29, 1995, Proceedings}, editor = {Henry G. Baker}, volume = {986}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60368-9}, }