3713 search results - page 329 / 743 » Constructing a Calculus of Programs |
156
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
109
click to vote
CONSTRAINTS
2004
15 years 4 months ago
2004
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
147
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Today’s large finite element simulations require parallel algorithms to scale on clusters with thousands or tens of thousands of processor cores. We present data struc...
142
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
151
click to vote
POPL
2012
ACM
14 years 2 days ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...