An operational semantics for parallel lazy evaluation.

Clement A. Baker-Finch David J. King Philip W. Trinder

Published in: ICFP (2000)

Keyphrases

operational semantics
lazy evaluation
formal semantics
sort merge
bayesian decision problems
mental states
model theoretic
data model
activity diagrams
parallel processing
functional programs
speech acts
relational databases
knowledge base
integrity constraints
information extraction
databases