Ping Hu. Static Analysis for Guarded Code. In Sandhya Dwarkadas, editor, Languages, Compilers, and Run-Time Systems for Scalable Computers, 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000, Selected Papers. Volume 1915 of Lecture Notes in Computer Science, pages 44-56, Springer, 2000. [doi]
Abstract is missing.