Login / Signup
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code.
Atsushi Ohori
Published in:
Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases
</>
abstract machine
data model
logical operations
databases
source code
decision trees
graph theory
data sets
real world
social networks
hidden markov models
flowshop
probabilistic logic
logical properties
logical representation