Abstract
This report documents our recent study and experiment with data structures used in the succinct solver. The succinct solver incorporates state-of-the-art approaches to constraint solving and solves static analysis problems specified in Alternation-free Least Fixed Point Logic (ALFP).
| Original language | English |
|---|
| Publication status | Published - 2002 |
|---|