![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
SIGSOFT 1983: Pacific Grove, CA, USA
- Richard E. Fairley, Mark Scott Johnson:
Proceedings of the symposium on High-level debugging, SIGSOFT 1983, Pacific Grove, California, USA, March 20-23, 1983. ACM 1983, ISBN 978-0-89791-111-5
Debugging methodology
- Wayne C. Gramlich:
Debugging methodology: session summary. 1-3 - Dick Hamlet:
Debugging "level": step-wise debugging. 4-8 - Rich Seidner, Nick Tindall:
Interactive debug requirements. 9-22
Knowledge-based debugging
- Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout
, Pamela Zave:
Knowledge-based debugging: session summary. 23-24 - Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson:
Knowledge-based fault localization in debugging: preliminary draft. 25-31
Requirements/design debugging
- Peter Bates:
Requirements/design debugging: session summary. 32-33 - Bernd Bruegge, Peter G. Hibbard:
Generalized path expressions: a high level debugging mechanism. 34-44 - Lori A. Clarke, Debra J. Richardson:
The application of error-sensitive testing strategies to debugging. 45-52 - Claude Jard, Gregor von Bochmann:
An approach to testing specifications. 53-59
Integrated environments
- Insup Lee:
Integrated environments. 60-62 - Zen Kishimoto:
An experimental debugger in a limited programming environment. 63-66 - Michael L. Powell, Mark A. Linton:
A database model of debugging. 67-70 - Martin Mikelsons:
Interactive program execution in Lispedit. 71-80 - Monika Müllerburg:
The role of debugging within software engineering environments. 81-90 - Harald Wertz:
An integrated Lisp programming environment. 91-95
Distributed debugging
- Thomas R. Gross:
Distributed debugging: session summary. 96-97 - Fabrizio Baiardi
, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini:
Development of a debugger for a concurrent language. 98-106 - Peter C. Bates, Jack C. Wileden:
An approach to high-level debugging of distributed systems: preliminary draft. 107-111 - Jonice Cynthia Weber:
Interactive debugging of concurrent programs. 112-113
Implementation issues
- Janice Cynthia Weber:
Implementation issues: session summary. 114-116 - Michael S. Kenniston, Russ Atkinson:
Implementation issues II. 117-120 - Knut Barra, Hans Petter Dahle:
SIMOB: a portable toolbox for observation of SIMULA executions. 121-122 - Jeanne Ferrante:
High level language debugging with a compiler. 123-129 - Peter Fritzson:
A systematic approach to advanced debugging: incremental compilation. 130-139 - W. Morven Gentleman, Henry Hoeksma:
Hardware assisted high level debugging: preliminary draft. 140-144 - Charles R. Hill:
A real-time microprocessor debugging technique. 145-148 - John D. Johnson, Gary W. Kenney:
Implementation issues for a source level symbolic debugger. 149-151 - Karl J. Ottenstein, Linda M. Ottenstein:
High-level debugging assistance via optimizing compiler technology. 152-154 - Ron Tischler, Robin Schaufler, Charlotte Payne:
Static analysis of programs as an aid to debugging. 155-158 - Polle T. Zellweger:
An interactive high-level debugger for control-flow optimized programs. 159-172
Demonstrations
- Bert Beander:
VAX DEBUG: an interactive, symbolic, multilingual debugger. 173-179 - James R. Cardell:
Multilingual debugging with the SWAT high-level debugger. 180-189 - Thomas A. Cargill:
The blit debugger: preliminary draft. 190-200 - Robert P. Cook, Insup Lee:
DYMOS: a dynamic modification system. 201-202 - Carol K. Walter:
DELTA: the Universal Debugger for CP-6. 203-205 - Mark Scott Johnson:
Summary of evaluation and comments. 206
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.