Bourdoncle Components

Abstract

This is a very high-level overview of weak topological ordering (WTO), and Bourdoncle's algorithm for finding WTOs. Weak topological ordering is a mechanism used in abstract interpretation to find CFG vertices suitable for widening, and to direct interpretation strategies.

Paper

This is available as a pdf.

Home

Mail Matt Elder

Changed 28 June 2010