16190 search results - page 2523 / 3238 » Applicative programming with effects |
138
Voted
ENTCS
2006
15 years 5 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
120
click to vote
EWC
2006
15 years 5 months ago
2006
We have previously proposed a new technique for the communication-free adaptive refinement of tetrahedral meshes that works for all configurations. Implementations of the scheme mu...
129
click to vote
FMSD
2006
15 years 5 months ago
2006
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
132
click to vote
IJSC
2008
15 years 5 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
153
click to vote
IPL
2008
15 years 5 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...