Publication | Closed Access
Debugging tools for high level languages
87
Citations
15
References
1972
Year
Software MaintenanceEngineeringSelective TraceSoftware EngineeringSoftware AnalysisFormal VerificationSystems EngineeringStatic CheckingDebugging ToolsComputer EngineeringProgramming Language ImplementationComputer ScienceDebuggerLanguage Algol WStatic Program AnalysisSoftware DesignProgram AnalysisSoftware TestingFormal MethodsHigh Level LanguagesSymbolic ExecutionSystem SoftwareSoftware Language Engineering
Abstract The design of an integrated programming and debugging system using the language ALGOL W is described. The debugging tools are based entirely upon the source language but can be effeciently implemented. The most novel such tool is a selective trace, automatically controlled by execution frequency counts. System performance information is included.
| Year | Citations | |
|---|---|---|
Page 1
Page 1