| Home > Publications > Reports > Informatics (CW) |
CW 326
T. Schrijvers, B. Demoen
An improvement to PARMA variable trailing
Abstract
The PARMA variable representation requires value trailing. This leads to a trail stack consumption that is about twice as large as for the WAM. We present two simple techniques by which this disadvantage is largely countered, without causing undue overhead. We also investigate the impact of a similar trailing improvement for backtrackable destructive assignment. Additionally we speculate on several ways to improve the time and space efficiency of trailing through analysis.
report.pdf / mailto: T. Schrijvers