M. Erascu and T. Jebelean. A Purely Logical Approach to the Termination of Imperative Loops.
In: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. M. Watt, D. Zaharie (ed.), pp. 142-149. September 2010. IEEE Computer Society, 978-0-7695-4324-6.
synasc_postproceedings.pdf
—
PDF document,
234 KB (240405 bytes)