Login / Signup
An Operational Semantics for Distributed Lazy Evaluation.
Lidia Sánchez-Gil
Mercedes Hidalgo-Herrero
Yolanda Ortega-Mallén
Published in:
Trends in Functional Programming (2009)
Keyphrases
</>
operational semantics
lazy evaluation
formal semantics
distributed systems
model theoretic
data model
mental states
bayesian decision problems
cooperative
functional programs
multi agent
peer to peer
relational databases
general purpose
mobile agents
agent communication language