This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Web Structures: A Tool for Representing and Manipulating Programs
November 1988 (vol. 14 no. 11)
pp. 1621-1639

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.

[1] M. Cannavale, "Un package per l'implementazione di trasformazioni di strutture relazionali," Tesi di Laurea, Scienze dell'Informazione. Univ. Salerno, Italy, 1979.
[2] V. Claus, H. Ehrig, and G. Rozemberg, Eds.,Graph Grammars and their Application to Computer Science and Biology(Lecture Notes in Computer Science vol. 73). Berlin: Springer, 1979.
[3] K. Culik, "A model for the formal definition of programming languages,"Int. J. Comput. Math., vol. 3, pp. 315-345, 1973.
[4] P. Degano and U. Montanari, "A model for distributed systems based on graph rewriting,"J. ACM, vol. 34, pp. 411-449, 1987.
[5] H. Ehrig, H. J. Kreowski, A. Maggiolo-Schettini, B. K. Rosen, and J. Winkowski, "Transformations of structures: An algebraic approach,"Math. Syst. Theory, vol. 14, pp. 305-334, 1981.
[6] H. Herrlich and G. E. Strecker,Category Theory, Berlin: Heldermann, 1979.
[7] A. Maggiolo-Schettini, B. K. Rosen, and H. R. Strong, "Procedure linkage optimization, Working paper," inConf. Rec. SIGACT-SIGPLAN Symp. Principles of Programming Languages, Boston, MA, Oct. 1-3, 1973, pp. 183-193.
[8] A. Maggiolo-Schettini and J. Winkowski, "Processes of transforming structures,"J. Comput. Syst. Sci., vol. 24, pp. 245-282, 1982.
[9] A. Maggiolo-Schettini and J. Winkowski, "Towards a programming language for manipulating relational data bases," inFormal Description of Programming Languages II, D. Bjorner, Ed. Amsterdam, The Netherlands: North-Holland, 1983, pp. 265-278.
[10] B. K. Rosen, "High-level data flow analysis,"Commun. ACM, vol. 20, pp. 712-724, 1977.
[11] P. Wegner, "The Vienna definition language,"ACM Comput. Surveys, vol. 4, pp. 5-63, 1972.

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, Nov. 1988, doi:10.1109/32.9050
Usage of this product signifies your acceptance of the Terms of Use.