web structures; category theory; software tools; high-level data flow analyzer; program transformers; production rules; web structure transformations; data structures; graph theory; program verification; programming theory; set theory; software tools
(xsd:string)