Login / Signup

egg: Fast and extensible equality saturation.

Max WillseyChandrakana NandiYisu Remy WangOliver FlattZachary TatlockPavel Panchekha
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • markup language
  • data model
  • object oriented
  • application specific
  • databases
  • neural network
  • knowledge base
  • wide range
  • fixpoint
  • data sets
  • artificial intelligence
  • multiscale