143 search results - page 2 / 29 » A Virtual Machine for Functional Logic Computations |
TPHOL
1996
IEEE
15 years 1 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
83
Voted
SIGOPSE
1998
ACM
15 years 1 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
83
Voted
SC
2004
ACM
15 years 3 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
95
Voted
PPPJ
2006
ACM
15 years 3 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
103
Voted
SFP
2003
14 years 11 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...