Sciweavers

3689 search results - page 68 / 738
» A Language with Distributed Scope
Sort
View
FSTTCS
2007
Springer
14 years 4 months ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...
ICFP
2010
ACM
13 years 11 months ago
A fresh look at programming with names and binders
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
Nicolas Pouillard, François Pottier
ERLANG
2007
ACM
14 years 1 months ago
Programming distributed Erlang applications: pitfalls and recipes
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
Hans Svensson, Lars-Åke Fredlund
PLDI
2010
ACM
14 years 3 months ago
Mint: Java multi-stage programming using weak separability
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong...
IPPS
2003
IEEE
14 years 3 months ago
Parallel LAN/WAN Heuristics for Optimization
We present in this work a wide spectrum of results on analyzing the behavior of parallel heuristics for solving optimization problems. We focus on evolutionary algorithms as well ...
Enrique Alba, Gabriel Luque