Login / Signup

Distributed Lazy Evaluation: A Big-Step Mechanised Semantics.

Seyed H. HaeriSibylle Schupp
Published in: PDP (2014)
Keyphrases
  • lazy evaluation
  • bayesian decision problems
  • distributed systems
  • distributed environment
  • mobile agents
  • peer to peer
  • sort merge
  • logic programming
  • general purpose
  • big data
  • data intensive
  • functional programs