A system to improve incorrect programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Some ideas on the educational use of computers
ACM '81 Proceedings of the ACM '81 conference
Debugging in a side effect free programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
| Hi-index | 0.00 |
We are currently implementing a system to help experienced programmers during the development, implementation and debugging of their programs. This system, built on top of a screen oriented structural editor, offers possibilities to attach descriptors to every portion of the program and to maintain - simultaneously - different versions of the program being written, including tentative hypothetical versions. It comprises a mechanism to maintain minimal consistency between modified parts of code, the non-modified parts of code and the attached descriptors, as well as an evaluation module functioning in different modes: normal evaluation, symbolic evaluation and checking evaluation. The Standard programming aids, such as indexors, pretty printers, trace packages, undo- and history -facilities are generalized to handle the descriptors and unfinished programs as well.