Journal Article10.1002/SPE.4380020303
Debugging tools for high level languages
96
TL;DR: The design of an integrated programming and debugging system using the language ALGOL W is described, and the most novel such tool is a selective trace, automatically controlled by execution frequency counts.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A Methodology for Collecting Valid Software Engineering Data
Victor R. Basili,David M. Weiss +1 more
TL;DR: An effective data collection method for evaluating software development methodologies and for studying the software development process is described and results show that data validation is a necessary part of change data collection.
Gprof: A call graph execution profiler
Susan L. Graham,Peter B. Kessler,Marshall Kirk McKusick +2 more
- 01 Jun 1982
TL;DR: The gprof profiler accounts for the running time of called routines in therunning time of the routines that call them, and the design and use of this profiler is described.
1.2K
Structured Programming with go to Statements
TL;DR: For serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to Statements" is probably the paper to read.
•Book
Structured programming with go to statements
Donald E. Knuth
- 01 Jan 1979
TL;DR: For instance, Knuth's "Structured Programming with Go-To Statements" as discussed by the authors is probably the most complete description of structured programming of all the selections in this book, and it can be used as a good starting point for a discussion of the role of gotos in structured programming.
631
Testing Programs with the Aid of a Compiler
TL;DR: Finite input-output specifications are added to the syntax of programs so that they exercise the control and expression structure of a program as well as any tests can and can be verified at compile time.
603
References
•Book
Program development by Stepwise Refinement
Niklaus Wirth
- 01 Jan 2002
TL;DR: The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming.
1.1K
•Book
Notes on structured programming
Edsger W. Dijkstra
- 01 Jan 1970
TL;DR: The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers.
1K
Program development by stepwise refinement
TL;DR: The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming as discussed by the authors.
A contribution to the development of ALGOL
Niklaus Wirth,C. A. R. Hoare +1 more
TL;DR: The main changes were: (1) verbal improvements and clarifications, many of which were kindly suggested by recipients of the original draft; (2) additional or altered language features, in particular the replacement of tree structures by records as proposed by the second author.
218