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

- b -

- c -

- i -

- n -

- p -

- s -

- v -

- y -