Publication

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Viktor Kuncak, Ravichandhran Kandhadai Madhavan, Sumith Kulal
2017
Journal Articles

Résumé

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 specify the desired resource bound as templates with numerical holes e.g. as steps

Source officielle

https://infoscience.epfl.ch/entities/publication/c9d0caf0-2b2e-46fe-880d-e971ecc4c1ea

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Graph Chatbot

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

Two-particle Bose-Einstein correlations and their Lévy parameters in PbPb collisions at √sNN=5.02 TeV

Acceleration of graph pattern mining and applications to financial crime

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

Two-particle Bose-Einstein correlations and their Lévy parameters in PbPb collisions at √sNN=5.02 TeV

Acceleration of graph pattern mining and applications to financial crime