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


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