1999 · 10 citations · 13 references
EngineeringPrimitive Text EditorCompiler TechnologySoftware EngineeringSoftware AnalysisFormal VerificationData ScienceCompilersData ManagementAutomatic ProgrammingData FlowComputer EngineeringProgramming Language ImplementationComputer ScienceOptimizing CompilerSoftware DesignControl FlowWorkflow ExecutionProgram AnalysisSoftware TestingFormal MethodsProgram SynthesisObject-oriented ProgrammingSystem Software
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 argue that program editors should have the same knowledge about the control flow and data flow of a program. Such editors could help programmers to better understand programs and to be more productive. We propose a data flow-aware programming environment that makes the information that the compiler already computed visible. The bidirectional feedback from the compiler to the programmer and back from the programmer to the compiler enables productive programming and faster debugging.
13
Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations
Program development by stepwise refinement
Niklaus Wirth · Communications of the ACM · 1971 · 924 citations · Full text
Program development by stepwise refinement
Niklaus Wirth · Communications of the ACM · 1983 · 689 citations · Full text