558 search results - page 2 / 112 » Compiling Resources in a Linear Logic Programming Language |
NJC
2000
13 years 4 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
TGC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
GCC
2003
Springer
13 years 10 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...