Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Grosen, Jessie"'
The goal of automatic resource bound analysis is to statically infer symbolic bounds on the resource consumption of the evaluation of a program. A longstanding challenge for automatic resource analysis is the inference of bounds that are functions of
Externí odkaz:
http://arxiv.org/abs/2304.13627
