BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method