Contract-based resource verification for higher-order functions with memoization
- Madhavan, Ravichandhran EPFL, Switzerland
- Kulal, Sumith IIT Bombay, India
- Kuncak, Viktor EPFL, Switzerland
Published in:
- Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017. - ACM Press. - 2017
- Language
-
- English
- Open access status
- bronze
- Identifiers
- Persistent URL
- https://sonar.ch/global/documents/214753
Statistics
Document views: 7
File downloads:
- fulltext.pdf: 0