Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Browse the full SAS paper archive.