Verification of an in-place quick-sort in ACL2 (1987)

by Sandip Ray , Rob Sumners
Venue:Proceedings of the 3rd International Workshop onthe ACL2 Theorem Prover and Its Applications, 2002. See URL http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/. [46] H. Rogers, Jr. Theory of Recursive Functions and Effective
Citations:1 - 1 self