default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGSOFT 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
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.
last updated on 2025-01-20 22:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
