Issue No. 11 - November (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.9050
<p>The authors introduce web structures and their transformations and develop their theory in the framework of category theory. Once a program has been represented as a web structure, software tools, such as a high-level data flow analyzer or other general program transformers, can be written as sets of web structure production rules. An implementation of web structure transformations is in progress. The mathematical theory of web structure transformations allows form proofs of properties both at the metatheoretical and theoretical levels.</p>
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
A. Maggiolo-Schettini, M. Napoli and G. Tortora, "Web Structures: A Tool for Representing and Manipulating Programs," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1621-1639, 1988.