Single-Threaded Objects in ACL2 (1999)

Cached

Download Links

by Robert S. Boyer , J. Strother Moore
Venue:Practical Aspects of Declarative Languages (PADL), volume 2257 of LNCS
Citations:10 - 2 self