Liveness analysis and bounded reuse.
Tomas Petricek, Dominic Orchard and Alan Mycroft.
In Proceedings of International Conference on Automata, Languages, and Programming - Volume Part II. 2013.
Website.
Tomas Petricek, Dominic Orchard and Alan Mycroft.
In Proceedings of International Conference on Functional Programming. 2014.
Website.