Towards a Termination Ordering for Loop Programs

Muffy Thomas. Towards a Termination Ordering for Loop Programs. In ADT. 1988.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.