A modification support system—automatic correction of side—effects caused by type modifications

Authors:
T. Tenma;Y. Sato;Y. Morimoto;M. Tanaka;T. Ichikawa
Affiliations:
Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan;Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan;Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan;Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan;Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan
Venue:
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Year:
1990

Citing 5
Cited 1

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
A Conceptual Analysis of the Draco Approach to Constructing Software Systems

IEEE Transactions on Software Engineering
A System for Generating Language-Oriented Editors

IEEE Transactions on Software Engineering
The Programmer's Apprentice: A Research Overview

Computer
The synthesizer generator

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Kima: An Automated Error Correction System for Concurrent Logic Programs

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Programmers modify software for many reasons. When a part of a software is modified, side-effects of the modification are propagated to other parts of the software. By correcting these side-effects automatically, the productivity and the reliability of software development increases. This paper proposes an approach based on constraints and component-based software representation for detecting and correcting side-effects. A system based on the approach for type modifications is presented. The system is developed independent of a particular language.