Package dk.brics.xact.analysis.xmlgraph

XML graph dataflow analysis on flow graphs and XML graph validation.

See:
Description

Class Summary

XMLGraphAnalysis	XML graph lattice and transfer functions for dataflow analysis.
XMLGraphBuilder	Performs dataflow analysis on flow graphs to build XML graphs.
XMLGraphChecker	Checks XML graphs of various program expressions.

Package dk.brics.xact.analysis.xmlgraph Description

XML graph dataflow analysis on flow graphs and XML graph validation.

Author:

Christian Kirkegaard <ck@cs.au.dk>, Aske Simon Christensen <aske@cs.au.dk>, Anders Møller <amoeller@cs.au.dk>