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

### Cached

### Download Links

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 |