An Adequate Operational Semantics for Sharing in Lazy Evaluation.

S. Purushothaman Jill Seaman

Published in: ESOP (1992)

Keyphrases

operational semantics
lazy evaluation
bayesian decision problems
formal semantics
sort merge
model theoretic
data model
functional programs
mental states
database
programming language
integrity constraints
speech acts
activity diagrams