# A Generalized Solution for the While Challenge

S. Ray

Rump Session Presentation

In R. Gamboa, J. Sawada, and J. Cowles, editors,
Proceedings of the 7th
International Workshop on the ACL2 Theorem Prover and its Applications
(ACL2 2007), Austin, TX, November 2007, pages 83-84.

## Relevant files

- Extended Abstract (ps, pdf)
- Slides for ACL2 2007 Rump Session (pdf)
- Supporting materials: See
the directory
`books/workshops/2007/cowles-et-al/support/ray/`

in the
current ACL2 distribution. (Note:
You need the workshops tarball. See the instructions for installing
ACL2 in the ACL2
homepage.)

## BibTex

@Inproceedings{ray-generalized,
author = "S. Ray",
title = "{A Generalized Solution for the While Challenge}",
editor = "R. Gamboa and J. Sawada and J. Cowles",
booktitle = "{Proceedings of the $7$th International Workshop on
the ACL2 Theorem Prover and Its Applications (ACL2 2007)}",
address = "{Austin, TX}",
month = nov,
pages = "83-84",
year = "2007"
}