1982 · 67 citations · 9 references
ComputingComputer ScienceComputer SystemsComputer ArchitectureSoftware EngineeringSystems ArchitectureSoftware ArchitectureSoftware DesignSoftware ModelingSymbolic ExecutionArchitectural ConstraintsDebuggingDebugging SupportDebugging TechniquesSoftware DebuggingSymbolic Debugging
Architectural support of high-level, symbolic debugging is described at three levels of abstraction: the user's view of desired debugging functionality, the debugger implementor's view of architectural requirements that support the functionality, and the computer architect's view of architectural features or attributes that implement the requirements. References are made where possible to computing systems that meet the requirements. The paper is written from the viewpoint of debugger implementors, and is addressed primarily to computer architects.
9
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text
On The Advantages of Tagged Architecture
Edward A. Feustel · IEEE Transactions on Computers · 1973 · 144 citations
Architecture of the IBM system/370
Richard P. Case, A. Padegs · Communications of the ACM · 1978 · 85 citations · Full text
Engineering, Computer Systems, High-performance Computing +15
Marvin V. Zelkowitz · Communications of the ACM · 1973 · 62 citations · Full text