A faster solver for general systems of equations

• 1 November 1999
• journal article
• Published by Elsevier in Science of Computer Programming
• Vol. 35  (2-3) , 137-161
• https://doi.org/10.1016/s0167-6423(99)00009-x

Abstract

Keywords

• GENERIC LOCAL FIXPOINT ITERATION
• WORKLIST ALGORITHMS
• ABSTRACT INTERPRETATION
• PROGRAM ANALYSIS