collaborators

1 paper

cs.PL2026

Memory Allocation for Constant-Bounded Programs

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…