An interactive tool for program manipulation

Authors:
Anne Adam;Paul Gloess;Jean-Pierre Laurent
Affiliations:
-;-;-
Venue:
ICSE '81 Proceedings of the 5th international conference on Software engineering
Year:
1981

Citing 4
Cited 0

Program Improvement by Source-to-Source Transformation

Journal of the ACM (JACM)
Symbolic execution and program testing

Communications of the ACM
Knowledge about programs: A model and case study

Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution

Proceedings of the international conference on Reliable software

Quantified Score

Hi-index	0.01

Visualization

Abstract

An interactive system for understanding programs has been designed. This system provides informations about control structure and data flow. It also performs powerful semantic transformations that are checked for validity. The system relies on previously implemented algorithms that apply to a graph representation of programs.