86 search results - page 1 / 18 » Priority Rewrite Systems for OSOS Process Languages |
CONCUR
2003
Springer
13 years 10 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
LATA
2009
Springer
13 years 11 months 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...
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...
ICGI
2004
Springer
13 years 10 months ago
2004
Springer
VLDB
1994
ACM
13 years 9 months ago
1994
ACM
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...