Value numbering is a compiler-based program analysis method that allows redundant computations to be removed. This paper compares hash-based approaches derived from the classic local algorithm1 with partitioning approaches based on the work of Alpern, Wegman, and Zadeck2. Historically, the hash-based algorithm has been applied to single basic blocks or extended basic blocks. We have improved th...

nowhere are the barriers to a functional health infrastructure more clearly on display than in the goma region of democratic republic of congo. kaboru et al. report poorly integrated services for hiv and tb in this war-torn region. priorities in conflict zones include provision of security, shelter, food, clean water and prevention of sexual violence. in goma, immediate health priorities includ...

Generalized numberings are an extension of Ershov's notion numbering, based on partial combinatory algebra (pca) instead the natural numbers. We study various algebraic properties generalized numberings, relating numbering to pca. As in lambda calculus, extensionality is a key here.