Login / Signup
Jedidiah R. McClurg
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Practical Application
Evolutionary Algorithm
Development Environment
Top Venues
ACL2
</>
Publications
</>
David S. Hardin
,
Jennifer A. Davis
,
David A. Greve
,
Jedidiah R. McClurg
Development of a Translator from LLVM to ACL2.
ACL2
(2014)