An Operational Semantics of Sharing in Lazy Evaluation.

Jill Seaman S. Purushothaman Iyer

Published in: Sci. Comput. Program. (1996)

Keyphrases

operational semantics
lazy evaluation
bayesian decision problems
formal semantics
sort merge
mental states
model theoretic
functional programs
data model
reinforcement learning
query optimization
decision problems