The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1988 vol.14)
pp: 1621-1639
ABSTRACT
<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>
INDEX TERMS
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
CITATION
A. Maggiolo-Schettini, M. Napoli, G. Tortora, "Web Structures: A Tool for Representing and Manipulating Programs", IEEE Transactions on Software Engineering, vol.14, no. 11, pp. 1621-1639, November 1988, doi:10.1109/32.9050
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool