search

rogerburtonpatel / vml

Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.
5 stars 0 forks source link

Static analysis of variable dependencies? #13

Closed rogerburtonpatel closed 8 months ago

rogerburtonpatel commented 8 months ago

In PM, variables only appear on one side. in unification, both. can we detect which we find?