1179 search results - page 150 / 236 » Programming in Hybrid Constraint Languages |
141
click to vote
ECOOP
1993
Springer
15 years 5 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
100
Voted
ECOOP
1994
Springer
15 years 5 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
189
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
113
click to vote
EOR
2008
15 years 1 months ago
2008
We study a scheduling problem, motivated by air-traffic control, in which a set of aircrafts are about to land on a single runway. When coming close to the landing area of the air...
123
click to vote
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...