143 search results - page 9 / 29 » A Virtual Machine for Functional Logic Computations |
PPDP
2001
Springer
15 years 3 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
103
click to vote
OSDI
2002
ACM
15 years 11 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...