Contract-based resource verification for higher-order functions with memoization.

Ravichandhran Madhavan Sumith Kulal Viktor Kuncak

Published in: POPL (2017)

Keyphrases

higher order
natural images
high order
resource allocation
artificial intelligence
pairwise
lower order
supply chain
resource management
contractual obligations
databases
lambda calculus
formal verification
signature verification
face verification
information resources
management system
case study
machine learning