A Virtual Machine for Functional Logic Computations.

Sergio Antoy Michael Hanus Jimeng Liu Andrew P. Tolmach

Published in: IFL (2004)

Keyphrases

virtual machine
operating system
data center
distributed computing
computing resources
modal logic
low latency
logic programming
classical logic
cloud computing environment
virtual memory
distributed systems
windows xp
java card
remote attestation