34 citations · 46 across the 7 of their papers we have counts for
1 paper · 1 filter
Vinícius Silva, Kael Soares, Márcio Costa e Fernando Magno Quintão Pereira
This work studies memory allocation for constant-bounded programs, whose execution length is syntactically limited for all inputs. Examples of such programs include verified kernel…