The Analysis Framework of HAL (2001)

by N Nethercote