search

Xazax-hun / domains-oxide

Toy language to help experiment with numerical domains for abstract interpretation
Apache License 2.0
2 stars 0 forks source link

Add WTO based worklist #11

Open Xazax-hun opened 1 year ago

Xazax-hun commented 1 year ago

Weak Topoligical Order should make sure we first wait for loops to reach fixed points before continuing to the code after the loop. Let's check if the current worklist actually has this property.

Xazax-hun commented 1 year ago

See https://video.ucdavis.edu/media/Efficient+Fixpoint+Computation+for+Abstract+Interpretation/1_1trufm5a for some more ideas on iteration strategies.