/
Resource Bound Inference for Functional Programs Resource Bound Inference for Functional Programs

Resource Bound Inference for Functional Programs - PowerPoint Presentation

ellena-manuel
ellena-manuel . @ellena-manuel
Follow
397 views
Uploaded On 2017-06-30

Resource Bound Inference for Functional Programs - PPT Presentation

Ravichandhran Madhavan Viktor Kuncak EPFL Switzerland Introduction We propose a system for specifying and verifying resource bounds f or functional programs that use recursive datastructures ID: 565217

size bounds tree time bounds size time tree solving resource adts sort black ensuring functions counter heap height numerical

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "Resource Bound Inference for Functional ..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript