Login / Signup

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.

David DaraisMatthew MightDavid 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