Development of a Translator from LLVM to ACL2
Hardin, David S., Davis, Jennifer A., Greve, David A., McClurg, Jedidiah R.
Published in Electronic proceedings in theoretical computer science (04.06.2014)
Published in Electronic proceedings in theoretical computer science (04.06.2014)
Get full text
Journal Article
Development of a Translator from LLVM to ACL2
Hardin, David S, Davis, Jennifer A, Greve, David A, McClurg, Jedidiah R
Published in arXiv.org (06.06.2014)
Published in arXiv.org (06.06.2014)
Get full text
Paper
Journal Article