On Modular and Fully-Abstract Compilation - Technical Appendix.

Marco Patrignani Dominique Devriese Frank Piessens

Published in: CoRR (2016)

Keyphrases

detailed discussion
table of contents
high level
wide variety
low level
higher level
neural network
reinforcement learning
artificial neural networks
data model
programming language
modular neural networks
model counting