- Artículo:
Ranking functions for size-change termination
- Autor:
Chin Soon Lee
- Resumen:
his article explains how to construct a ranking function for any program that is proved terminating by size-change analysis
- Página:
10.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
3
- Periodo:
Abril 2009
- ISSN:
01640925
- SrcID:
01640925-2009-03.txt
- Documento número 625717
- Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
- Creado el martes, 10 de julio de 2018 10:24:12 a. m.
- Enlace directo
