Login / Signup
Decidable models of integer-manipulating programs with recursive parallelism (technical report).
Matthew Hague
Anthony Widjaja Lin
Published in:
CoRR (2016)
Keyphrases
</>
technical report
experimental data
probabilistic model
database
statistical models
computational models
knowledge representation
complex systems
accurate models