Web Structures: A Tool for Representing and Manipulating Programs

IEEE Transactions on Software Engineering

Volumn 14, Issue 11, 1988, Pages 1621-1639

  Maggiolo Schettini, Andrea ^a   Napoli, Margherita ^a   Tortora, Genoveffa ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

Data flow analysis; high level program transformations; interpretive semantics; programming languages; replacement systems

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL TRANSFORMATIONS;

PROGRAM REPRESENTATIONS; PROGRAM TRANSFORMERS; SOFTWARE DEVELOPMENT ENVIRONMENTS; WEB STRUCTURES;

COMPUTER SOFTWARE;

EID: 0024104271     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.9050     Document Type: Article

References (9)

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. DeganoandU. 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: Helder-mann, 1979.
7. A. Maggiolo-Schettini, B. K. Rosen, and H. R. Strong, “Procedure linkage optimization, Working paper,” in Conf. 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. “Towards a programming language for manipulating relational