2 search results - page 1 / 1 » Termination of Narrowing in Left-Linear Constructor Systems |
113
Voted
FLOPS
2008
Springer
15 years 1 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
118
Voted
CADE
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...