Flow-Sensitive Programming Environments
Many programmers write their programs with a primitive text editor that has no knowledge about the edited text. On the other hand, they use ingenious compilers that collect control flow and data flow information to perform optimizations and generate optimized code. We show how the programmer can benefit from a programming environment that is flow-sensitive because it has knowledge of the control flow and data flow of the edited programs. Additionally we point out how the programming environment can benefit from the programmer's knowledge.