'Vc generation' presentation slideshows

Resource Bound Inference for Functional Programs

Resource Bound Inference for Functional Programs. Ravichandhran Madhavan , Viktor Kuncak , EPFL, Switzerland. Introduction. We propose a system for specifying and verifying resource bounds f or functional programs that use recursive data-structures m eant for verifying precise bounds.

357 views • 24 slides