A program optimization for automatic database result caching

DOI10.1145/3009837.3009891zbMath1380.68109OpenAlexW2560869521WikidataQ130858004 ScholiaQ130858004MaRDI QIDQ5370861

Adam Chlipala, Ziv Scully

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3009837.3009891

zbMATH Keywords

SQLprogram analysisweb applicationsdatabase result caching

Mathematics Subject Classification ID

Database theory (68P15) Theory of compilers and interpreters (68N20)

This page was built for publication: A program optimization for automatic database result caching