Warren Hunt Jr.

Professor

University of Texas at Austin · United States

Bioinformatics and Computational BiologyComputer ArchitectureFormal MethodsX86 Specification in ACL2Hash CONSFunction MemoizationFast Association ListsFormal Hardware Description Languages

About

Anna Slobodova, Warren Hunt Jr. May 2, 2017. Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications. Cornell University. Ithaca, New York.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.