11 search results - page 2 / 3 » On the expressive power of priorities in CHR |
FOSSACS
2009
Springer
14 years 3 days ago
2009
Springer
LATA
2009
Springer
14 years 3 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
SAC
2009
ACM
14 years 4 days ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
RTA
1995
Springer
13 years 8 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
TCS
2008
13 years 5 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...