159 search results - page 1 / 32 » ELAN from a rewriting logic point of view |
TCS
2002
13 years 10 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
CTRS
1987
14 years 2 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
KRDB
2001
14 years 4 days ago
2001
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...
EUSFLAT
2003
14 years 4 days ago
2003
