Documents Resource Bound Inference for Functional Programs

Purity Analysis an Abstract Resource Bound Inference for Functional Programs Ravichandhran Madhavan, Viktor Kuncak, EPFL, Switzerland 1 Introduction We propose a system for…