Web Structures: A Tool for Representing and Manipulating Programs

Authors:
A. Maggiolo-Schettini;M. Napoli;G. Tortora
Affiliations:
Univ. di Pisa, Pisa, Italy;Univ. di Salerno, Salerno, Italy;Univ. di Salerno, Salerno, Italy
Venue:
IEEE Transactions on Software Engineering
Year:
1988

Citing 4
Cited 2

A model for distributed systems based on graph rewriting

Journal of the ACM (JACM)
The Vienna Definition Language

ACM Computing Surveys (CSUR)
High-level data flow analysis

Communications of the ACM
Procedure linkage optimization working paper

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A Logic-Based Approach to Reverse Engineering Tools Production

IEEE Transactions on Software Engineering - Special issue on software maintenance
An Extensible System for Source Code Analysis

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.