Aspinall and Adriana Compagnoni. Heap bounded assembly language. Journal of Automated Reasoning (0)

by David
Venue:Proc. European Symposium on Programming