Contract-based resource verification for higher-order functions with memoization
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak - … of the 44th ACM SIGPLAN Symposium …, 2017 - dl.acm.org
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
[引用][C] Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak - ACM SIGPLAN Notices - sonar.ch
Contract-based resource verification for higher-order functions with memoization SONAR
logo Log in Sign up EN English Français Deutsch Italiano Back Full-text Journal article …
logo Log in Sign up EN English Français Deutsch Italiano Back Full-text Journal article …
Contract-Based Resource Verification for Higher-Order Functions with Memoization
R Madhavan, S Kulal, V Kuncak - Acm Sigplan Notices, 2017 - infoscience.epfl.ch
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
[PDF][PDF] Contract-Based Resource Verification for Higher-Order Functions with Memoization
R Madhavan, S Kulal, V Kuncak - www-cs.stanford.edu
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
[PDF][PDF] Contract-Based Resource Verification for Higher-Order Functions with Memoization
R Madhavan, S Kulal, V Kuncak - researchgate.net
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
[PDF][PDF] Contract-Based Resource Verification for Higher-Order Functions with Memoization
R Madhavan, S Kulal, V Kuncak - scholar.archive.org
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
[PDF][PDF] Contract-Based Resource Verification for Higher-Order Functions with Memoization
R Madhavan, S Kulal, V Kuncak - lara.epfl.ch
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
[PDF][PDF] Contract-Based Resource Verification for Higher-Order Functions with Memoization
R Madhavan, S Kulal, V Kuncak - core.ac.uk
We present a new approach for specifying and verifying resource utilization of higher-order
functional programs that use lazy evaluation and memoization. In our approach, users can …
functional programs that use lazy evaluation and memoization. In our approach, users can …
[引用][C] Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak - Proceedings of the 44th ACM SIGPLAN … - sonar.ch