2 search results - page 1 / 1 » Concurrent Object-Oriented Programming Techniques in a Term ... |
136
Voted
PDP
1996
IEEE
15 years 7 months ago
1996
IEEE
133
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...