Sciweavers

86 search results - page 1 / 18
» Priority Rewrite Systems for OSOS Process Languages
Sort
View
CONCUR
2003
Springer
13 years 11 months ago
Priority Rewrite Systems for OSOS Process Languages
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...
Irek Ulidowski
LATA
2009
Springer
14 years 1 months ago
Termination of Priority Rewriting
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...
Isabelle Gnaedig
RTA
1995
Springer
13 years 10 months ago
Prototyping Completion with Constraints Using Computational Systems
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...
Hélène Kirchner, Pierre-Etienne More...
ICGI
2004
Springer
13 years 11 months ago
Representing Languages by Learnable Rewriting Systems
Rémi Eyraud, Colin de la Higuera, Jean-Chri...
VLDB
1994
ACM
128views Database» more  VLDB 1994»
13 years 10 months ago
From Nested-Loop to Join Queries in OODB
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...
Hennie J. Steenhagen, Peter M. G. Apers, Henk M. B...