3 search results - page 1 / 1 » The Automatic Synthesis of Linear Ranking Functions: The Com... |
150
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
144
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
135
click to vote
COLING
2010
14 years 12 months ago
2010
In this paper, we propose an unsupervised approach to automatically synthesize Wikipedia articles in multiple languages. Taking an existing high-quality version of any entry as co...