Reducing behavioural to structural properties of programs with procedures.

Dilian Gurov Marieke Huisman

Published in: Theor. Comput. Sci. (2013)

Keyphrases

structural properties
topological properties
computer programs
programming language
programming environment
clustering coefficient
tree width
medical images
network topology
fixpoint
automatic programming
java programs
network evolution
rewriting rules