The G-machine as a representation of stack semantics.

David R. Lester

Published in: FPCA (1987)

Keyphrases

semantic representation
semantic information
graphical representation
formal semantics
database
data sets
conceptual graphs
highly expressive