Login / Signup
Galois Transformers and Modular Abstract Interpreters.
David Darais
Matthew Might
David Van Horn
Published in:
CoRR (2014)
Keyphrases
</>
formal concept analysis
formal concepts
high level
virtual machine
information systems
bayesian networks
data model
low level
distributed systems
representation language
modular structure