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:
- ACM SIGPLAN Notices. - Association for Computing Machinery (ACM). - 2017, vol. 52, no. 1, p. 330-343
- Language
-
- English
- Open access status
- bronze
- Identifiers
-
- DOI 10.1145/3093333.3009874
- ISSN 0362-1340
- Persistent URL
- https://sonar.ch/global/documents/194024
Statistics
Document views: 4
File downloads:
- fulltext.pdf: 0