Koopman, P. et al, "The ABC-Machine: A Sequential Stack-Based Abstract Machine for Graph Rewriting", TR 88-1, U Nijmegen 1988.

(1988)

Languages mentioned

  • ABC {1989} Intermediate language ABC abstract machine