159 search results - page 1 / 32 » ELAN from a rewriting logic point of view |
124
Voted
TCS
2002
15 years 4 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 ...
132
click to vote
PPDP
2007
Springer
15 years 11 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...
138
Voted
CTRS
1987
15 years 8 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...
147
click to vote
KRDB
2001
15 years 6 months 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...
114
Voted
EUSFLAT
2003
15 years 6 months ago
2003
