A functional scenario for bytecode verification of resource bounds (2004)

by R Amadio, S Coupet-Grimal, S Dal-Zilio, L Jakubiec
Venue:In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 13th Annual Conference of the EACSL, Karpacz