On computing the fixpoint of a set of boolean equations

Viktor Kunčak,K. Leino
2003-12-01
Abstract:Note: MSR-TR-2003-08 (Microsoft Research) Reference LARA-REPORT-2003-001 URL: http://arxiv.org/abs/cs.PL/0408045 Record created on 2007-08-21, modified on 2017-05-12
What problem does this paper attempt to address?