BARC progress report 2000 - Kalyane, V L; Compiler (2001)