3307 search results - page 244 / 662 » The meaning of concurrent programs |
160
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
Deviation is a recent constraint to balance a set of variables with respect to a given mean. We show that the propagators recently introduced are not bound-consistent when the mean...
301
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
201
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
153
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
148
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...