Development of a Translator from LLVM to ACL2.

David S. Hardin Jennifer A. Davis David A. Greve Jedidiah R. McClurg

Published in: ACL2 (2014)

Keyphrases

case study
development process
evolutionary algorithm
hidden markov models
decision support
practical application
rapid development
neural network
data mining
data structure
multi agent systems
end users
design principles
development environment
rapid prototyping