7 citations · 7 across the 3 of their papers we have counts for
1 paper · 2 filters
Elvira Albert, Puri Arenas, German Puebla
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code supplier provides a program together with an abstraction (…