Login / Signup
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.
David Darais
Matthew Might
David Van Horn
Published in:
OOPSLA (2015)
Keyphrases
</>
description language
software reuse
high level
virtual machine
formal concept analysis
real world
machine learning
learning algorithm
information systems
data model
open source
higher level
formal concepts