3 search results - page 1 / 1 » The Automatic Synthesis of Linear Ranking Functions: The Com... |
80
Voted
CORR
2010
Springer
14 years 9 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 ...
73
Voted
ICALP
2005
Springer
15 years 2 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...
COLING
2010
14 years 4 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...