2 citations · 5 across the 8 of their papers we have counts for
Showing 2019 · cs.PLShow all
2 papers · 2 filters
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…
cs.PL2019
Resource-Aware Session Types for Digital Contracts
Ankush Das, Stephanie Balzer, Jan Hoffmann +2
Programming digital contracts comes with unique challenges, which include (i) expressing and enforcing protocols of interaction, (ii) controlling resource usage, and (iii) preventi…