Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020
Liquid Resource Types
Tristan Knoth, Di Wang, Adam Reynolds +2
This article presents liquid resource types, a technique for automatically verifying the resource consumption of functional programs. Existing resource analysis techniques trade au…
cs.PL2019
Resource-Guided Program Synthesis
Tristan Knoth, Di Wang, Nadia Polikarpova +1
This article presents resource-guided synthesis, a technique for synthesizing recursive programs that satisfy both a functional specification and a symbolic resource bound. The tec…