Constructing Call-by-Value Continuation Semantics.

Ravi Sethi Adrian Tang

Published in: ICALP (1979)

Keyphrases

formal semantics
semantic information
logic programming
keywords
logical language
real world
genetic algorithm
metadata
website
expert systems
model checking
semantic representation