llchen@sp1.csrd.uiuc.edu (Li-Ling Chen) (01/31/91)
Fixed point computation is used frequently in solving data flow equations and abstract interpretations. I would appreciate if someone could give me any references on this subject, especially from mathematical viewpoints and implementations. Thanks. -- ----- Li-Ling Chen Center for Supercomputing Research and Development University of Illinois at Urbana-Champaign 305 Talbot Lab 104 South Wright Street Urbana, IL 61801-2932