Sciweavers

APAQS
2001
IEEE
15 years 16 days ago
A Path-Based Approach to the Detection of Infinite Looping
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
Jian Zhang
74
Voted
FOCS
2002
IEEE
15 years 1 months ago
Optimal System of Loops on an Orientable Surface
Every compact orientable boundaryless surface M can be cut along simple loops with a common point v0, pairwise disjoint except at v0, so that the resulting surface is a topologica...
Éric Colin de Verdière, Francis Laza...