Memory taggings and dynamic data structures (2003)

by J S Moore
Venue:In Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2003