Constructing Call-by-Value Continuation Semantics.

Ravi Sethi Adrian Tang

Published in: J. ACM (1980)

Keyphrases

formal semantics
logic programming
semantic information
data sets
data mining
expressive power
graphical representation
operational semantics
proof theory
intended meaning