3 ms·
That's interesting, although from scanning the abstract, I don't immediately see the connection between ES and PBE.
by YorkshireSeason 8y ago
That's interesting, although from scanning the abstract, I don't immediately see the connection between ES and PBE.
- danharaj 8y agoWell 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.