CW 455

Bart Demoen and Phuong-Lan Nguyen
Allocating WAM environments/choice points on the heap

Abstract

The WAM keeps environments on a stack. As an alternative, we explore allocating them on the heap, in the context of hProlog. The changes needed to make this work are described, as well as the modified optimizations. Benchmarking shows that this is not a totally wacky idea. We do the same for WAM choice points.

report.pdf (206K) / mailto: B. Demoen