20 ms·

Thanks! This looks like a really interesting part of PL theory that I haven't looked at before. The problem you describe immediately reminds me of Equality Satu

Thanks! This looks like a really interesting part of PL theory that I haven't looked at before. The problem you describe immediately reminds me of Equality Saturation; I wonder if it's been applied in this space: http://www.cs.cornell.edu/~ross/publications/eqsat/ http://www.cs.cornell.edu/~ross/publications/eqsat/

YorkshireSeason 8y ago
That's interesting, although from scanning the abstract, I don't immediately see the connection between ES and PBE.
- danharaj 8y ago
  Well the common technical problem is that of representing program fragments along with their equalities so that they can be utilized in the case I linked, and pruned in the case you suggested. It's just a musing though. I look forward to reading up on PBE in depth.