Algebraic Construction of Program Representation Graphs.

Richard Marciano Teodor Rus

Published in: AMAST (1991)

Keyphrases

graph representation
spectral decomposition
logical representation
algebraic structures
higher order
graph matching
graph theoretic
static analysis
mathematical theory