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"
}